CONFIG_PRINTK_TIME  448 arch/ia64/kernel/smpboot.c #ifndef CONFIG_PRINTK_TIME
CONFIG_PRINTK_TIME 1287 kernel/printk/printk.c static bool printk_time = IS_ENABLED(CONFIG_PRINTK_TIME);