acpibut_notify_handler
(void)acpi_register_notify(sc->sc_node, acpibut_notify_handler);
static void acpibut_notify_handler(ACPI_HANDLE, uint32_t, void *);