23 static void sama5d4_xplained_nand_hw_init(void)  in sama5d4_xplained_nand_hw_init()  argument
66 static void sama5d4_xplained_usb_hw_init(void)  in sama5d4_xplained_usb_hw_init()  argument
74 int board_late_init(void)  in board_late_init()  argument
85 static void sama5d4_xplained_serial3_hw_init(void)  in sama5d4_xplained_serial3_hw_init()  argument
94 void board_debug_uart_init(void)  in board_debug_uart_init()  argument
101 int board_early_init_f(void)  in board_early_init_f()  argument
113 int misc_init_r(void)  in misc_init_r()  argument
122 int board_init(void)  in board_init()  argument
137 int dram_init(void)  in dram_init()  argument
146 void spl_board_init(void)  in spl_board_init()  argument
188 void mem_init(void)  in mem_init()  argument
202 void at91_pmc_init(void)  in at91_pmc_init()  argument