acpi_wmi_notify_handler 1346 drivers/platform/x86/wmi.c 				   acpi_wmi_notify_handler);
acpi_wmi_notify_handler 1379 drivers/platform/x86/wmi.c 					     acpi_wmi_notify_handler,
acpi_wmi_notify_handler 1408 drivers/platform/x86/wmi.c 				   acpi_wmi_notify_handler);