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);