hp_wmi_input_destroy  984 drivers/platform/x86/hp-wmi.c 		hp_wmi_input_destroy();
hp_wmi_input_destroy  993 drivers/platform/x86/hp-wmi.c 		hp_wmi_input_destroy();