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 (); mips_reboot_setup(); board_time_init = mips_time_init; rtc_mips_get_time = mips_rtc_get_time; }
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; }