63 phys_size_t get_effective_memsize(void)  in get_effective_memsize()  argument
79 int dram_init(void)  in dram_init()  argument
89 int dram_init_banksize(void)  in dram_init_banksize()  argument
100 u32 get_board_rev(void)  in get_board_rev()  argument
131 static void setup_gpio_eim(void)  in setup_gpio_eim()  argument
140 static void setup_gpio_sups(void)  in setup_gpio_sups()  argument
156 static void setup_gpio_leds(void)  in setup_gpio_leds()  argument
228 static int power_init(void)  in power_init()  argument
234 static void clock_1GHz(void)  in clock_1GHz()  argument
252 int board_early_init_f(void)  in board_early_init_f()  argument
266 int overwrite_console(void)  in overwrite_console()  argument
271 int board_init(void)  in board_init()  argument
280 int checkboard(void)  in checkboard()  argument
360 int board_late_init(void)  in board_late_init()  argument