34 __board_reset(void)  in __board_reset()  argument
40 int checkcpu (void)  in checkcpu()  argument
333 __weak unsigned long get_tbclk (void)  in get_tbclk()  argument
344 init_85xx_watchdog(void)  in init_85xx_watchdog()  argument
351 reset_85xx_watchdog(void)  in reset_85xx_watchdog()  argument
360 watchdog_reset(void)  in watchdog_reset()  argument
388 void print_reginfo(void)  in print_reginfo()  argument
405 int dram_init(void)  in dram_init()  argument
417 int dram_init(void)  in dram_init()  argument
485 static void dump_spd_ddr_reg(void)  in dump_spd_ddr_reg()  argument
685 void arch_memory_failure_handle(void)  in arch_memory_failure_handle()  argument