SAFE public projects git trees. - safe/jmp/linux-2.6/blob - drivers/platform/x86/hp-wmi.c

   1 /*
   2  * HP WMI hotkeys
   3  *
   4  * Copyright (C) 2008 Red Hat <mjg@redhat.com>
   5  *
   6  * Portions based on wistron_btns.c:
   7  * Copyright (C) 2005 Miloslav Trmac <mitr@volny.cz>
   8  * Copyright (C) 2005 Bernhard Rosenkraenzer <bero@arklinux.org>
   9  * Copyright (C) 2005 Dmitry Torokhov <dtor@mail.ru>
  10  *
  11  *  This program is free software; you can redistribute it and/or modify
  12  *  it under the terms of the GNU General Public License as published by
  13  *  the Free Software Foundation; either version 2 of the License, or
  14  *  (at your option) any later version.
  15  *
  16  *  This program is distributed in the hope that it will be useful,
  17  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
  18  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  19  *  GNU General Public License for more details.
  20  *
  21  *  You should have received a copy of the GNU General Public License
  22  *  along with this program; if not, write to the Free Software
  23  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  24  */
  25
  26 #include <linux/kernel.h>
  27 #include <linux/module.h>
  28 #include <linux/init.h>
  29 #include <linux/types.h>
  30 #include <linux/input.h>
  31 #include <acpi/acpi_drivers.h>
  32 #include <linux/platform_device.h>
  33 #include <linux/acpi.h>
  34 #include <linux/rfkill.h>
  35 #include <linux/string.h>
  36
  37 MODULE_AUTHOR("Matthew Garrett <mjg59@srcf.ucam.org>");
  38 MODULE_DESCRIPTION("HP laptop WMI hotkeys driver");
  39 MODULE_LICENSE("GPL");
  40
  41 MODULE_ALIAS("wmi:95F24279-4D7B-4334-9387-ACCDC67EF61C");
  42 MODULE_ALIAS("wmi:5FB7F034-2C63-45e9-BE91-3D44E2C707E4");
  43
  44 #define HPWMI_EVENT_GUID "95F24279-4D7B-4334-9387-ACCDC67EF61C"
  45 #define HPWMI_BIOS_GUID "5FB7F034-2C63-45e9-BE91-3D44E2C707E4"
  46
  47 #define HPWMI_DISPLAY_QUERY 0x1
  48 #define HPWMI_HDDTEMP_QUERY 0x2
  49 #define HPWMI_ALS_QUERY 0x3
  50 #define HPWMI_HARDWARE_QUERY 0x4
  51 #define HPWMI_WIRELESS_QUERY 0x5
  52 #define HPWMI_HOTKEY_QUERY 0xc
  53
  54 enum hp_wmi_radio {
  55         HPWMI_WIFI = 0,
  56         HPWMI_BLUETOOTH = 1,
  57         HPWMI_WWAN = 2,
  58 };
  59
  60 static int __devinit hp_wmi_bios_setup(struct platform_device *device);
  61 static int __exit hp_wmi_bios_remove(struct platform_device *device);
  62 static int hp_wmi_resume_handler(struct device *device);
  63
  64 struct bios_args {
  65         u32 signature;
  66         u32 command;
  67         u32 commandtype;
  68         u32 datasize;
  69         u32 data;
  70 };
  71
  72 struct bios_return {
  73         u32 sigpass;
  74         u32 return_code;
  75         u32 value;
  76 };
  77
  78 struct key_entry {
  79         char type;              /* See KE_* below */
  80         u16 code;
  81         u16 keycode;
  82 };
  83
  84 enum { KE_KEY, KE_END };
  85
  86 static struct key_entry hp_wmi_keymap[] = {
  87         {KE_KEY, 0x02, KEY_BRIGHTNESSUP},
  88         {KE_KEY, 0x03, KEY_BRIGHTNESSDOWN},
  89         {KE_KEY, 0x20e6, KEY_PROG1},
  90         {KE_KEY, 0x2142, KEY_MEDIA},
  91         {KE_KEY, 0x213b, KEY_INFO},
  92         {KE_KEY, 0x2169, KEY_DIRECTION},
  93         {KE_KEY, 0x231b, KEY_HELP},
  94         {KE_END, 0}
  95 };
  96
  97 static struct input_dev *hp_wmi_input_dev;
  98 static struct platform_device *hp_wmi_platform_dev;
  99
 100 static struct rfkill *wifi_rfkill;
 101 static struct rfkill *bluetooth_rfkill;
 102 static struct rfkill *wwan_rfkill;
 103
 104 static const struct dev_pm_ops hp_wmi_pm_ops = {
 105         .resume  = hp_wmi_resume_handler,
 106         .restore  = hp_wmi_resume_handler,
 107 };
 108
 109 static struct platform_driver hp_wmi_driver = {
 110         .driver = {
 111                 .name = "hp-wmi",
 112                 .owner = THIS_MODULE,
 113                 .pm = &hp_wmi_pm_ops,
 114         },
 115         .probe = hp_wmi_bios_setup,
 116         .remove = hp_wmi_bios_remove,
 117 };
 118
 119 static int hp_wmi_perform_query(int query, int write, int value)
 120 {
 121         struct bios_return bios_return;
 122         acpi_status status;
 123         union acpi_object *obj;
 124         struct bios_args args = {
 125                 .signature = 0x55434553,
 126                 .command = write ? 0x2 : 0x1,
 127                 .commandtype = query,
 128                 .datasize = write ? 0x4 : 0,
 129                 .data = value,
 130         };
 131         struct acpi_buffer input = { sizeof(struct bios_args), &args };
 132         struct acpi_buffer output = { ACPI_ALLOCATE_BUFFER, NULL };
 133
 134         status = wmi_evaluate_method(HPWMI_BIOS_GUID, 0, 0x3, &input, &output);
 135
 136         obj = output.pointer;
 137
 138         if (!obj)
 139                 return -EINVAL;
 140         else if (obj->type != ACPI_TYPE_BUFFER) {
 141                 kfree(obj);
 142                 return -EINVAL;
 143         }
 144
 145         bios_return = *((struct bios_return *)obj->buffer.pointer);
 146         kfree(obj);
 147         if (bios_return.return_code > 0)
 148                 return bios_return.return_code * -1;
 149         else
 150                 return bios_return.value;
 151 }
 152
 153 static int hp_wmi_display_state(void)
 154 {
 155         return hp_wmi_perform_query(HPWMI_DISPLAY_QUERY, 0, 0);
 156 }
 157
 158 static int hp_wmi_hddtemp_state(void)
 159 {
 160         return hp_wmi_perform_query(HPWMI_HDDTEMP_QUERY, 0, 0);
 161 }
 162
 163 static int hp_wmi_als_state(void)
 164 {
 165         return hp_wmi_perform_query(HPWMI_ALS_QUERY, 0, 0);
 166 }
 167
 168 static int hp_wmi_dock_state(void)
 169 {
 170         int ret = hp_wmi_perform_query(HPWMI_HARDWARE_QUERY, 0, 0);
 171
 172         if (ret < 0)
 173                 return ret;
 174
 175         return ret & 0x1;
 176 }
 177
 178 static int hp_wmi_tablet_state(void)
 179 {
 180         int ret = hp_wmi_perform_query(HPWMI_HARDWARE_QUERY, 0, 0);
 181
 182         if (ret < 0)
 183                 return ret;
 184
 185         return (ret & 0x4) ? 1 : 0;
 186 }
 187
 188 static int hp_wmi_set_block(void *data, bool blocked)
 189 {
 190         enum hp_wmi_radio r = (enum hp_wmi_radio) data;
 191         int query = BIT(r + 8) | ((!blocked) << r);
 192
 193         return hp_wmi_perform_query(HPWMI_WIRELESS_QUERY, 1, query);
 194 }
 195
 196 static const struct rfkill_ops hp_wmi_rfkill_ops = {
 197         .set_block = hp_wmi_set_block,
 198 };
 199
 200 static bool hp_wmi_get_sw_state(enum hp_wmi_radio r)
 201 {
 202         int wireless = hp_wmi_perform_query(HPWMI_WIRELESS_QUERY, 0, 0);
 203         int mask = 0x200 << (r * 8);
 204
 205         if (wireless & mask)
 206                 return false;
 207         else
 208                 return true;
 209 }
 210
 211 static bool hp_wmi_get_hw_state(enum hp_wmi_radio r)
 212 {
 213         int wireless = hp_wmi_perform_query(HPWMI_WIRELESS_QUERY, 0, 0);
 214         int mask = 0x800 << (r * 8);
 215
 216         if (wireless & mask)
 217                 return false;
 218         else
 219                 return true;
 220 }
 221
 222 static ssize_t show_display(struct device *dev, struct device_attribute *attr,
 223                             char *buf)
 224 {
 225         int value = hp_wmi_display_state();
 226         if (value < 0)
 227                 return -EINVAL;
 228         return sprintf(buf, "%d\n", value);
 229 }
 230
 231 static ssize_t show_hddtemp(struct device *dev, struct device_attribute *attr,
 232                             char *buf)
 233 {
 234         int value = hp_wmi_hddtemp_state();
 235         if (value < 0)
 236                 return -EINVAL;
 237         return sprintf(buf, "%d\n", value);
 238 }
 239
 240 static ssize_t show_als(struct device *dev, struct device_attribute *attr,
 241                         char *buf)
 242 {
 243         int value = hp_wmi_als_state();
 244         if (value < 0)
 245                 return -EINVAL;
 246         return sprintf(buf, "%d\n", value);
 247 }
 248
 249 static ssize_t show_dock(struct device *dev, struct device_attribute *attr,
 250                          char *buf)
 251 {
 252         int value = hp_wmi_dock_state();
 253         if (value < 0)
 254                 return -EINVAL;
 255         return sprintf(buf, "%d\n", value);
 256 }
 257
 258 static ssize_t show_tablet(struct device *dev, struct device_attribute *attr,
 259                          char *buf)
 260 {
 261         int value = hp_wmi_tablet_state();
 262         if (value < 0)
 263                 return -EINVAL;
 264         return sprintf(buf, "%d\n", value);
 265 }
 266
 267 static ssize_t set_als(struct device *dev, struct device_attribute *attr,
 268                        const char *buf, size_t count)
 269 {
 270         u32 tmp = simple_strtoul(buf, NULL, 10);
 271         hp_wmi_perform_query(HPWMI_ALS_QUERY, 1, tmp);
 272         return count;
 273 }
 274
 275 static DEVICE_ATTR(display, S_IRUGO, show_display, NULL);
 276 static DEVICE_ATTR(hddtemp, S_IRUGO, show_hddtemp, NULL);
 277 static DEVICE_ATTR(als, S_IRUGO | S_IWUSR, show_als, set_als);
 278 static DEVICE_ATTR(dock, S_IRUGO, show_dock, NULL);
 279 static DEVICE_ATTR(tablet, S_IRUGO, show_tablet, NULL);
 280
 281 static struct key_entry *hp_wmi_get_entry_by_scancode(unsigned int code)
 282 {
 283         struct key_entry *key;
 284
 285         for (key = hp_wmi_keymap; key->type != KE_END; key++)
 286                 if (code == key->code)
 287                         return key;
 288
 289         return NULL;
 290 }
 291
 292 static struct key_entry *hp_wmi_get_entry_by_keycode(unsigned int keycode)
 293 {
 294         struct key_entry *key;
 295
 296         for (key = hp_wmi_keymap; key->type != KE_END; key++)
 297                 if (key->type == KE_KEY && keycode == key->keycode)
 298                         return key;
 299
 300         return NULL;
 301 }
 302
 303 static int hp_wmi_getkeycode(struct input_dev *dev,
 304                              unsigned int scancode, unsigned int *keycode)
 305 {
 306         struct key_entry *key = hp_wmi_get_entry_by_scancode(scancode);
 307
 308         if (key && key->type == KE_KEY) {
 309                 *keycode = key->keycode;
 310                 return 0;
 311         }
 312
 313         return -EINVAL;
 314 }
 315
 316 static int hp_wmi_setkeycode(struct input_dev *dev,
 317                              unsigned int scancode, unsigned int keycode)
 318 {
 319         struct key_entry *key;
 320         unsigned int old_keycode;
 321
 322         key = hp_wmi_get_entry_by_scancode(scancode);
 323         if (key && key->type == KE_KEY) {
 324                 old_keycode = key->keycode;
 325                 key->keycode = keycode;
 326                 set_bit(keycode, dev->keybit);
 327                 if (!hp_wmi_get_entry_by_keycode(old_keycode))
 328                         clear_bit(old_keycode, dev->keybit);
 329                 return 0;
 330         }
 331
 332         return -EINVAL;
 333 }
 334
 335 static void hp_wmi_notify(u32 value, void *context)
 336 {
 337         struct acpi_buffer response = { ACPI_ALLOCATE_BUFFER, NULL };
 338         static struct key_entry *key;
 339         union acpi_object *obj;
 340         int eventcode;
 341         acpi_status status;
 342
 343         status = wmi_get_event_data(value, &response);
 344         if (status != AE_OK) {
 345                 printk(KERN_INFO "hp-wmi: bad event status 0x%x\n", status);
 346                 return;
 347         }
 348
 349         obj = (union acpi_object *)response.pointer;
 350
 351         if (!obj || obj->type != ACPI_TYPE_BUFFER || obj->buffer.length != 8) {
 352                 printk(KERN_INFO "HP WMI: Unknown response received\n");
 353                 kfree(obj);
 354                 return;
 355         }
 356
 357         eventcode = *((u8 *) obj->buffer.pointer);
 358         kfree(obj);
 359         if (eventcode == 0x4)
 360                 eventcode = hp_wmi_perform_query(HPWMI_HOTKEY_QUERY, 0,
 361                                                 0);
 362         key = hp_wmi_get_entry_by_scancode(eventcode);
 363         if (key) {
 364                 switch (key->type) {
 365                 case KE_KEY:
 366                         input_report_key(hp_wmi_input_dev,
 367                                          key->keycode, 1);
 368                         input_sync(hp_wmi_input_dev);
 369                         input_report_key(hp_wmi_input_dev,
 370                                          key->keycode, 0);
 371                         input_sync(hp_wmi_input_dev);
 372                         break;
 373                 }
 374         } else if (eventcode == 0x1) {
 375                 input_report_switch(hp_wmi_input_dev, SW_DOCK,
 376                                     hp_wmi_dock_state());
 377                 input_report_switch(hp_wmi_input_dev, SW_TABLET_MODE,
 378                                     hp_wmi_tablet_state());
 379                 input_sync(hp_wmi_input_dev);
 380         } else if (eventcode == 0x5) {
 381                 if (wifi_rfkill)
 382                         rfkill_set_states(wifi_rfkill,
 383                                           hp_wmi_get_sw_state(HPWMI_WIFI),
 384                                           hp_wmi_get_hw_state(HPWMI_WIFI));
 385                 if (bluetooth_rfkill)
 386                         rfkill_set_states(bluetooth_rfkill,
 387                                           hp_wmi_get_sw_state(HPWMI_BLUETOOTH),
 388                                           hp_wmi_get_hw_state(HPWMI_BLUETOOTH));
 389                 if (wwan_rfkill)
 390                         rfkill_set_states(wwan_rfkill,
 391                                           hp_wmi_get_sw_state(HPWMI_WWAN),
 392                                           hp_wmi_get_hw_state(HPWMI_WWAN));
 393         } else
 394                 printk(KERN_INFO "HP WMI: Unknown key pressed - %x\n",
 395                         eventcode);
 396 }
 397
 398 static int __init hp_wmi_input_setup(void)
 399 {
 400         struct key_entry *key;
 401         int err;
 402
 403         hp_wmi_input_dev = input_allocate_device();
 404
 405         hp_wmi_input_dev->name = "HP WMI hotkeys";
 406         hp_wmi_input_dev->phys = "wmi/input0";
 407         hp_wmi_input_dev->id.bustype = BUS_HOST;
 408         hp_wmi_input_dev->getkeycode = hp_wmi_getkeycode;
 409         hp_wmi_input_dev->setkeycode = hp_wmi_setkeycode;
 410
 411         for (key = hp_wmi_keymap; key->type != KE_END; key++) {
 412                 switch (key->type) {
 413                 case KE_KEY:
 414                         set_bit(EV_KEY, hp_wmi_input_dev->evbit);
 415                         set_bit(key->keycode, hp_wmi_input_dev->keybit);
 416                         break;
 417                 }
 418         }
 419
 420         set_bit(EV_SW, hp_wmi_input_dev->evbit);
 421         set_bit(SW_DOCK, hp_wmi_input_dev->swbit);
 422         set_bit(SW_TABLET_MODE, hp_wmi_input_dev->swbit);
 423
 424         /* Set initial hardware state */
 425         input_report_switch(hp_wmi_input_dev, SW_DOCK, hp_wmi_dock_state());
 426         input_report_switch(hp_wmi_input_dev, SW_TABLET_MODE,
 427                             hp_wmi_tablet_state());
 428         input_sync(hp_wmi_input_dev);
 429
 430         err = input_register_device(hp_wmi_input_dev);
 431
 432         if (err) {
 433                 input_free_device(hp_wmi_input_dev);
 434                 return err;
 435         }
 436
 437         return 0;
 438 }
 439
 440 static void cleanup_sysfs(struct platform_device *device)
 441 {
 442         device_remove_file(&device->dev, &dev_attr_display);
 443         device_remove_file(&device->dev, &dev_attr_hddtemp);
 444         device_remove_file(&device->dev, &dev_attr_als);
 445         device_remove_file(&device->dev, &dev_attr_dock);
 446         device_remove_file(&device->dev, &dev_attr_tablet);
 447 }
 448
 449 static int __devinit hp_wmi_bios_setup(struct platform_device *device)
 450 {
 451         int err;
 452         int wireless = hp_wmi_perform_query(HPWMI_WIRELESS_QUERY, 0, 0);
 453
 454         err = device_create_file(&device->dev, &dev_attr_display);
 455         if (err)
 456                 goto add_sysfs_error;
 457         err = device_create_file(&device->dev, &dev_attr_hddtemp);
 458         if (err)
 459                 goto add_sysfs_error;
 460         err = device_create_file(&device->dev, &dev_attr_als);
 461         if (err)
 462                 goto add_sysfs_error;
 463         err = device_create_file(&device->dev, &dev_attr_dock);
 464         if (err)
 465                 goto add_sysfs_error;
 466         err = device_create_file(&device->dev, &dev_attr_tablet);
 467         if (err)
 468                 goto add_sysfs_error;
 469
 470         if (wireless & 0x1) {
 471                 wifi_rfkill = rfkill_alloc("hp-wifi", &device->dev,
 472                                            RFKILL_TYPE_WLAN,
 473                                            &hp_wmi_rfkill_ops,
 474                                            (void *) HPWMI_WIFI);
 475                 rfkill_init_sw_state(wifi_rfkill,
 476                                      hp_wmi_get_sw_state(HPWMI_WIFI));
 477                 rfkill_set_hw_state(wifi_rfkill,
 478                                     hp_wmi_get_hw_state(HPWMI_WIFI));
 479                 err = rfkill_register(wifi_rfkill);
 480                 if (err)
 481                         goto register_wifi_error;
 482         }
 483
 484         if (wireless & 0x2) {
 485                 bluetooth_rfkill = rfkill_alloc("hp-bluetooth", &device->dev,
 486                                                 RFKILL_TYPE_BLUETOOTH,
 487                                                 &hp_wmi_rfkill_ops,
 488                                                 (void *) HPWMI_BLUETOOTH);
 489                 rfkill_init_sw_state(bluetooth_rfkill,
 490                                      hp_wmi_get_sw_state(HPWMI_BLUETOOTH));
 491                 rfkill_set_hw_state(bluetooth_rfkill,
 492                                     hp_wmi_get_hw_state(HPWMI_BLUETOOTH));
 493                 err = rfkill_register(bluetooth_rfkill);
 494                 if (err)
 495                         goto register_bluetooth_error;
 496         }
 497
 498         if (wireless & 0x4) {
 499                 wwan_rfkill = rfkill_alloc("hp-wwan", &device->dev,
 500                                            RFKILL_TYPE_WWAN,
 501                                            &hp_wmi_rfkill_ops,
 502                                            (void *) HPWMI_WWAN);
 503                 rfkill_init_sw_state(wwan_rfkill,
 504                                      hp_wmi_get_sw_state(HPWMI_WWAN));
 505                 rfkill_set_hw_state(wwan_rfkill,
 506                                     hp_wmi_get_hw_state(HPWMI_WWAN));
 507                 err = rfkill_register(wwan_rfkill);
 508                 if (err)
 509                         goto register_wwan_err;
 510         }
 511
 512         return 0;
 513 register_wwan_err:
 514         rfkill_destroy(wwan_rfkill);
 515         if (bluetooth_rfkill)
 516                 rfkill_unregister(bluetooth_rfkill);
 517 register_bluetooth_error:
 518         rfkill_destroy(bluetooth_rfkill);
 519         if (wifi_rfkill)
 520                 rfkill_unregister(wifi_rfkill);
 521 register_wifi_error:
 522         rfkill_destroy(wifi_rfkill);
 523 add_sysfs_error:
 524         cleanup_sysfs(device);
 525         return err;
 526 }
 527
 528 static int __exit hp_wmi_bios_remove(struct platform_device *device)
 529 {
 530         cleanup_sysfs(device);
 531
 532         if (wifi_rfkill) {
 533                 rfkill_unregister(wifi_rfkill);
 534                 rfkill_destroy(wifi_rfkill);
 535         }
 536         if (bluetooth_rfkill) {
 537                 rfkill_unregister(bluetooth_rfkill);
 538                 rfkill_destroy(bluetooth_rfkill);
 539         }
 540         if (wwan_rfkill) {
 541                 rfkill_unregister(wwan_rfkill);
 542                 rfkill_destroy(wwan_rfkill);
 543         }
 544
 545         return 0;
 546 }
 547
 548 static int hp_wmi_resume_handler(struct device *device)
 549 {
 550         /*
 551          * Hardware state may have changed while suspended, so trigger
 552          * input events for the current state. As this is a switch,
 553          * the input layer will only actually pass it on if the state
 554          * changed.
 555          */
 556         if (hp_wmi_input_dev) {
 557                 input_report_switch(hp_wmi_input_dev, SW_DOCK,
 558                                     hp_wmi_dock_state());
 559                 input_report_switch(hp_wmi_input_dev, SW_TABLET_MODE,
 560                                     hp_wmi_tablet_state());
 561                 input_sync(hp_wmi_input_dev);
 562         }
 563
 564         if (wifi_rfkill)
 565                 rfkill_set_states(wifi_rfkill,
 566                                   hp_wmi_get_sw_state(HPWMI_WIFI),
 567                                   hp_wmi_get_hw_state(HPWMI_WIFI));
 568         if (bluetooth_rfkill)
 569                 rfkill_set_states(bluetooth_rfkill,
 570                                   hp_wmi_get_sw_state(HPWMI_BLUETOOTH),
 571                                   hp_wmi_get_hw_state(HPWMI_BLUETOOTH));
 572         if (wwan_rfkill)
 573                 rfkill_set_states(wwan_rfkill,
 574                                   hp_wmi_get_sw_state(HPWMI_WWAN),
 575                                   hp_wmi_get_hw_state(HPWMI_WWAN));
 576
 577         return 0;
 578 }
 579
 580 static int __init hp_wmi_init(void)
 581 {
 582         int err;
 583
 584         if (wmi_has_guid(HPWMI_EVENT_GUID)) {
 585                 err = wmi_install_notify_handler(HPWMI_EVENT_GUID,
 586                                                  hp_wmi_notify, NULL);
 587                 if (ACPI_SUCCESS(err))
 588                         hp_wmi_input_setup();
 589         }
 590
 591         if (wmi_has_guid(HPWMI_BIOS_GUID)) {
 592                 err = platform_driver_register(&hp_wmi_driver);
 593                 if (err)
 594                         return 0;
 595                 hp_wmi_platform_dev = platform_device_alloc("hp-wmi", -1);
 596                 if (!hp_wmi_platform_dev) {
 597                         platform_driver_unregister(&hp_wmi_driver);
 598                         return 0;
 599                 }
 600                 platform_device_add(hp_wmi_platform_dev);
 601         }
 602
 603         return 0;
 604 }
 605
 606 static void __exit hp_wmi_exit(void)
 607 {
 608         if (wmi_has_guid(HPWMI_EVENT_GUID)) {
 609                 wmi_remove_notify_handler(HPWMI_EVENT_GUID);
 610                 input_unregister_device(hp_wmi_input_dev);
 611         }
 612         if (hp_wmi_platform_dev) {
 613                 platform_device_del(hp_wmi_platform_dev);
 614                 platform_driver_unregister(&hp_wmi_driver);
 615         }
 616 }
 617
 618 module_init(hp_wmi_init);
 619 module_exit(hp_wmi_exit);