When I type (KERN_INFO, ...), I get something like this:
<6> [116584.000183] ...
What is the number between square brackets exactly?
This is a microsecond resolution timestamp. See the source printk.
printk
Seconds from launch. You can control whether this is displayed using a variable CONFIG_PRINTK_TIMEin the kernel configuration.
CONFIG_PRINTK_TIME