void __init plat_mem_setup(void) { mips_pcibios_init(); ioport_resource.end = 0x7fffffff; serial_init(); #ifdef CONFIG_KGDB kgdb_config(); #endif mips_reboot_setup(); }
void __init plat_mem_setup(void) { mips_pcibios_init(); ioport_resource.end = 0x7fffffff; serial_init (); #ifdef CONFIG_KGDB kgdb_config(); #endif mips_reboot_setup(); board_time_init = mips_time_init; rtc_mips_get_time = mips_rtc_get_time; }
static int __init atlas_setup(void) { ioport_resource.end = 0x7fffffff; serial_init (); #ifdef CONFIG_KGDB kgdb_config(); #endif mips_reboot_setup(); board_time_init = mips_time_init; board_timer_setup = mips_timer_setup; rtc_get_time = mips_rtc_get_time; return 0; }