31 int checkboard(void)  in checkboard()  argument
52 static void i2c_deblock_gpio_cfg(void)  in i2c_deblock_gpio_cfg()  argument
72 int get_sda(void)  in get_sda()  argument
77 int get_scl(void)  in get_scl()  argument
88 int board_early_init_f(void)  in board_early_init_f()  argument
121 int board_early_init_r(void)  in board_early_init_r()  argument
154 int misc_init_f(void)  in misc_init_f()  argument
181 int misc_init_r(void)  in misc_init_r()  argument
205 int hush_init_var(void)  in hush_init_var()  argument
214 int last_stage_init(void)  in last_stage_init()  argument
302 int post_hotkeys_pressed(void)  in post_hotkeys_pressed()  argument