Go to the documentation of this file.
8 #include <linux/kernel.h>
9 #include <linux/linkage.h>
11 #include <linux/string.h>
12 #include <linux/types.h>
14 #include <asm/bootinfo.h>
16 #include <asm/processor.h>
24 unsigned long *(*__rex_slot_address)(
int);
25 void *(*__rex_gettcinfo)(
void);
30 char *(*__prom_getenv)(
char *);
91 "Sorry, this kernel is compiled for a wrong CPU type!\n";
110 #if defined(CONFIG_CPU_R3000)
113 static char r4k_msg[] __initdata =
114 "Please recompile with \"CONFIG_CPU_R4x00 = y\".\n";
121 #if defined(CONFIG_CPU_R4X00)
124 static char r3k_msg[] __initdata =
125 "Please recompile with \"CONFIG_CPU_R3000 = y\".\n";