HP_WMI_EVENT_PROPERTY_STATUS
HP_WMI_EVENT_PROPERTY_STATUS);
[HP_WMI_EVENT_PROPERTY_STATUS] = ACPI_TYPE_INTEGER,