64 void setup_gpmi_nand(void)  in setup_gpmi_nand()  argument
92 int dram_init(void)  in dram_init()  argument
125 void board_init_gpio(void)  in board_init_gpio()  argument
130 void board_init_gpmi_nand(void)  in board_init_gpmi_nand()  argument
135 void board_init_i2c(void)  in board_init_i2c()  argument
140 void board_init_spi(void)  in board_init_spi()  argument
145 void board_init_uart(void)  in board_init_uart()  argument
150 void board_init_usb(void)  in board_init_usb()  argument
155 void board_init_finished(void)  in board_init_finished()  argument
170 int board_early_init_f(void)  in board_early_init_f()  argument
177 int board_init(void)  in board_init()  argument
197 int checkboard(void)  in checkboard()  argument
212 int misc_init_r(void)  in misc_init_r()  argument