312 static void clear_buffer(void)  in clear_buffer()  argument
317 static void get_buffer(void)  in get_buffer()  argument
323 static void release_buffer(void)  in release_buffer()  argument
834 static int __init dell_setup_rfkill(void)  in dell_setup_rfkill()  argument
982 static void dell_cleanup_rfkill(void)  in dell_cleanup_rfkill()  argument
1061 static void touchpad_led_on(void)  in touchpad_led_on()  argument
1068 static void touchpad_led_off(void)  in touchpad_led_off()  argument
1095 static void touchpad_led_exit(void)  in touchpad_led_exit()  argument
1330 static unsigned int kbd_get_max_level(void)  in kbd_get_max_level()  argument
1501 static int kbd_get_first_active_token_bit(void)  in kbd_get_first_active_token_bit()  argument
1515 static int kbd_get_valid_token_counts(void)  in kbd_get_valid_token_counts()  argument
1520 static inline int kbd_init_info(void)  in kbd_init_info()  argument
1595 static inline void kbd_init_tokens(void)  in kbd_init_tokens()  argument
1604 static void kbd_init(void)  in kbd_init()  argument
2104 static void kbd_led_exit(void)  in kbd_led_exit()  argument
2112 static int __init dell_init(void)  in dell_init()  argument
2223 static void __exit dell_exit(void)  in dell_exit()  argument