diff options
-rw-r--r-- | init/main.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/init/main.c b/init/main.c index cd168ebc5924..798fe450e708 100644 --- a/init/main.c +++ b/init/main.c | |||
@@ -602,7 +602,8 @@ asmlinkage void __init start_kernel(void) | |||
602 | sched_clock_init(); | 602 | sched_clock_init(); |
603 | profile_init(); | 603 | profile_init(); |
604 | if (!irqs_disabled()) | 604 | if (!irqs_disabled()) |
605 | printk("start_kernel(): bug: interrupts were enabled early\n"); | 605 | printk(KERN_CRIT "start_kernel(): bug: interrupts were " |
606 | "enabled early\n"); | ||
606 | early_boot_irqs_on(); | 607 | early_boot_irqs_on(); |
607 | local_irq_enable(); | 608 | local_irq_enable(); |
608 | 609 | ||