diff options
| -rw-r--r-- | drivers/platform/x86/hp-wmi.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/drivers/platform/x86/hp-wmi.c b/drivers/platform/x86/hp-wmi.c index 5b648f0c6075..ad4c414dbfbc 100644 --- a/drivers/platform/x86/hp-wmi.c +++ b/drivers/platform/x86/hp-wmi.c | |||
| @@ -393,8 +393,6 @@ static void hp_wmi_notify(u32 value, void *context) | |||
| 393 | } else | 393 | } else |
| 394 | printk(KERN_INFO "HP WMI: Unknown key pressed - %x\n", | 394 | printk(KERN_INFO "HP WMI: Unknown key pressed - %x\n", |
| 395 | eventcode); | 395 | eventcode); |
| 396 | |||
| 397 | kfree(obj); | ||
| 398 | } | 396 | } |
| 399 | 397 | ||
| 400 | static int __init hp_wmi_input_setup(void) | 398 | static int __init hp_wmi_input_setup(void) |
