36 int checkboard(void)  in checkboard()  argument
105 static inline int read_voltage(void)  in read_voltage()  argument
330 int configure_vsc3316_3308(void)  in configure_vsc3316_3308()  argument
745 static int check_serdes_pll_locks(void)  in check_serdes_pll_locks()  argument
773 int config_serdes1_refclks(void)  in config_serdes1_refclks()  argument
904 int config_serdes2_refclks(void)  in config_serdes2_refclks()  argument
989 int board_early_init_r(void)  in board_early_init_r()  argument
1083 unsigned long get_board_sys_clk(void)  in get_board_sys_clk()  argument
1098 unsigned long get_board_ddr_clk(void)  in get_board_ddr_clk()  argument
1156 int misc_init_r(void)  in misc_init_r()  argument
1231 void qixis_dump_switch(void)  in qixis_dump_switch()  argument