63 int dram_init(void)  in dram_init()  argument
119 static void setup_iomux_uart(void)  in setup_iomux_uart()  argument
271 int power_init_board(void)  in power_init_board()  argument
296 static void setup_iomux_usb(void)  in setup_iomux_usb()  argument
312 static int set_pwm_leds(void)  in set_pwm_leds()  argument
356 static int set_pwm_leds(void)  in set_pwm_leds()  argument
406 static int set_pin_state(void)  in set_pin_state()  argument
425 int board_late_init(void)  in board_late_init()  argument
438 int board_early_init_f(void)  in board_early_init_f()  argument
500 int board_init(void)  in board_init()  argument
512 int checkboard(void)  in checkboard()  argument