diff options
-rw-r--r-- | init/main.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/init/main.c b/init/main.c index 2b1cdaab45e6..bc27d72bbb19 100644 --- a/init/main.c +++ b/init/main.c | |||
@@ -538,6 +538,11 @@ asmlinkage void __init start_kernel(void) | |||
538 | parse_args("Booting kernel", command_line, __start___param, | 538 | parse_args("Booting kernel", command_line, __start___param, |
539 | __stop___param - __start___param, | 539 | __stop___param - __start___param, |
540 | &unknown_bootoption); | 540 | &unknown_bootoption); |
541 | if (!irqs_disabled()) { | ||
542 | printk(KERN_WARNING "start_kernel(): bug: interrupts were " | ||
543 | "enabled *very* early, fixing it\n"); | ||
544 | local_irq_disable(); | ||
545 | } | ||
541 | sort_main_extable(); | 546 | sort_main_extable(); |
542 | trap_init(); | 547 | trap_init(); |
543 | rcu_init(); | 548 | rcu_init(); |