Пример printk
call:
printk(KERN_INFO "Log message.\n");
Возможно, этот вопрос больше связан с C в целом, потому что я никогда не видел функции в C перед этими разделенными параметрами без запятой.
Как это работает? Что делает компилятор с этой информацией? Поскольку уровень log является целым числом, а сообщение является указателем на массив char, он должен передавать их отдельно.