HP_WMI_PROPERTY_SENSOR_TYPE
[HP_WMI_PROPERTY_SENSOR_TYPE] = ACPI_TYPE_INTEGER,
case HP_WMI_PROPERTY_SENSOR_TYPE: