312 static void get_buffer(void)  in get_buffer()  argument
318 static void release_buffer(void)  in release_buffer()  argument
644 static int __init dell_setup_rfkill(void)  in dell_setup_rfkill()  argument
744 static void dell_cleanup_rfkill(void)  in dell_cleanup_rfkill()  argument
812 static void touchpad_led_on(void)  in touchpad_led_on()  argument
819 static void touchpad_led_off(void)  in touchpad_led_off()  argument
846 static void touchpad_led_exit(void)  in touchpad_led_exit()  argument
1081 static unsigned int kbd_get_max_level(void)  in kbd_get_max_level()  argument
1252 static int kbd_get_first_active_token_bit(void)  in kbd_get_first_active_token_bit()  argument
1266 static int kbd_get_valid_token_counts(void)  in kbd_get_valid_token_counts()  argument
1271 static inline int kbd_init_info(void)  in kbd_init_info()  argument
1346 static inline void kbd_init_tokens(void)  in kbd_init_tokens()  argument
1355 static void kbd_init(void)  in kbd_init()  argument
1855 static void kbd_led_exit(void)  in kbd_led_exit()  argument
1863 static int __init dell_init(void)  in dell_init()  argument
1978 static void __exit dell_exit(void)  in dell_exit()  argument