int (*__rex_bootinit)(void); int (*__rex_bootread)(void); int (*__rex_getbitmap)(memmap *); unsignedlong *(*__rex_slot_address)(int); void *(*__rex_gettcinfo)(void); int (*__rex_getsysid)(void); void (*__rex_clear_cache)(void);
int (*__prom_getchar)(void); char *(*__prom_getenv)(char *); int (*__prom_printf)(char *, ...);
int (*__pmax_open)(char*, int); int (*__pmax_lseek)(int, long, int); int (*__pmax_read)(int, void *, int); int (*__pmax_close)(int);
/* Register the early console. */
register_prom_console();
/* Were we compiled with the right CPU option? */ #ifdefined(CONFIG_CPU_R3000) if ((current_cpu_type() == CPU_R4000SC) ||
(current_cpu_type() == CPU_R4400SC)) { staticconstchar r4k_msg[] __initconst = "Please recompile with \"CONFIG_CPU_R4X00 = y\".\n";
printk(cpu_msg);
printk(r4k_msg);
dec_machine_halt();
} #endif
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.