92 static int __init map_bios(void)  in map_bios()  argument
139 static inline void unmap_bios(void)  in unmap_bios()  argument
147 static u16 bios_pop_queue(void)  in bios_pop_queue()  argument
160 static void bios_attach(void)  in bios_attach()  argument
170 static void bios_detach(void)  in bios_detach()  argument
180 static u8 bios_get_cmos_address(void)  in bios_get_cmos_address()  argument
984 static int __init copy_keymap(void)  in copy_keymap()  argument
1003 static int __init select_keymap(void)  in select_keymap()  argument
1087 static void wistron_led_remove(void)  in wistron_led_remove()  argument
1096 static inline void wistron_led_suspend(void)  in wistron_led_suspend()  argument
1105 static inline void wistron_led_resume(void)  in wistron_led_resume()  argument
1211 static int setup_input_dev(void)  in setup_input_dev()  argument
1346 static int __init wb_module_init(void)  in wb_module_init()  argument
1386 static void __exit wb_module_exit(void)  in wb_module_exit()  argument