HP_WMI_PROPERTY_OPERATIONAL_STATUS
case HP_WMI_PROPERTY_OPERATIONAL_STATUS:
[HP_WMI_PROPERTY_OPERATIONAL_STATUS] = ACPI_TYPE_INTEGER,
return fungible_show(seqf, HP_WMI_PROPERTY_OPERATIONAL_STATUS);
case HP_WMI_PROPERTY_OPERATIONAL_STATUS:
case HP_WMI_PROPERTY_OPERATIONAL_STATUS:
element = &elements[HP_WMI_PROPERTY_OPERATIONAL_STATUS];