acpi_wmi_event_handler
if (acpi_register_notify(sc->sc_node, acpi_wmi_event_handler) != true)
static void acpi_wmi_event_handler(ACPI_HANDLE, uint32_t, void *);