Go to the documentation of this file.
11 #include <linux/kernel.h>
13 #include <asm/bootinfo.h>
15 #include <asm/smp-ops.h>
17 #undef DEBUG_PROM_INIT
34 if (pb->
magic != 0x53435241) {
36 (
unsigned long) pb->
magic);
47 #ifdef DEBUG_PROM_INIT
48 pr_info(
"Press a key to reboot\n");
52 #ifdef CONFIG_SGI_IP27