Когда я печатаю (KERN_INFO, ...), я получаю что-то вроде этого:
<6> [116584.000183] ...
Какое число между квадратными скобками точно?
секунд с момента запуска. Вы можете контролировать, будет ли это показано с помощью переменной CONFIG_PRINTK_TIME в конфигурации ядра.
CONFIG_PRINTK_TIME
Это отметка времени с микросекундным разрешением.См. printk источник .
printk