ACPI_WMI_FLAG_EVENT
if ((wmi->guid.flags & ACPI_WMI_FLAG_EVENT) != 0) {
KASSERT((wmi->guid.flags & ACPI_WMI_FLAG_EVENT) != 0);
if ((wmi->guid.flags & ACPI_WMI_FLAG_EVENT) == 0)