Signed-off-by: Thomas Renninger <trenn@suse.de>
Signed-off-by: Matthew Garrett <mjg@redhat.com>
CC: linux-acpi@vger.kernel.org
CC: platform-driver-x86@vger.kernel.org
                                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)
                                          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;
        }
 }