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