diff --git a/drivers/platform/x86/hp-wmi.c b/drivers/platform/x86/hp-wmi.c index f1c186245f98..7b086ddf7b2d 100644 --- a/drivers/platform/x86/hp-wmi.c +++ b/drivers/platform/x86/hp-wmi.c @@ -386,7 +386,9 @@ static void hp_wmi_notify(u32 value, void *context) input_sync(hp_wmi_input_dev); break; } - } + } else + printk(KERN_INFO "HP WMI: Unknown key code - 0x%x\n", + key_code); break; case HPWMI_WIRELESS: if (wifi_rfkill) @@ -403,8 +405,8 @@ static void hp_wmi_notify(u32 value, void *context) hp_wmi_get_hw_state(HPWMI_WWAN)); break; default: - printk(KERN_INFO "HP WMI: Unknown key pressed - %x\n", - eventcode); + printk(KERN_INFO "HP WMI: Unknown eventcode - %d\n", + eventcode); break; } }