HP_WMI_PLATFORM_EVENTS_PROPERTY_POSSIBLE_STATUS
int last_prop = HP_WMI_PLATFORM_EVENTS_PROPERTY_POSSIBLE_STATUS;
case HP_WMI_PLATFORM_EVENTS_PROPERTY_POSSIBLE_STATUS:
[HP_WMI_PLATFORM_EVENTS_PROPERTY_POSSIBLE_STATUS] = ACPI_TYPE_INTEGER,
HP_WMI_PLATFORM_EVENTS_PROPERTY_POSSIBLE_STATUS);