21 int board_late_init(void)  in board_late_init()  argument
27 static void board_uart0_hw_init(void)  in board_uart0_hw_init()  argument
35 void board_debug_uart_init(void)  in board_debug_uart_init()  argument
41 int board_early_init_f(void)  in board_early_init_f()  argument
49 int board_init(void)  in board_init()  argument
57 int dram_init(void)  in dram_init()  argument
66 int misc_init_r(void)  in misc_init_r()  argument
78 static void board_can_stdby_dis(void)  in board_can_stdby_dis()  argument
83 static void board_leds_init(void)  in board_leds_init()  argument
91 static void board_reset_additional_periph(void)  in board_reset_additional_periph()  argument
99 static void board_start_additional_periph(void)  in board_start_additional_periph()  argument
108 void spl_mmc_init(void)  in spl_mmc_init()  argument
122 void spl_board_init(void)  in spl_board_init()  argument
132 void spl_display_print(void)  in spl_display_print()  argument
136 void spl_board_prepare_for_boot(void)  in spl_board_prepare_for_boot()  argument
176 void mem_init(void)  in mem_init()  argument
204 void at91_pmc_init(void)  in at91_pmc_init()  argument