HP_WMI_PROPERTY_SIZE
[HP_WMI_PROPERTY_SIZE] = ACPI_TYPE_INTEGER,
if (elem_count <= HP_WMI_PROPERTY_SIZE ||
type = elements[HP_WMI_PROPERTY_SIZE].type;
case HP_WMI_PROPERTY_SIZE:
case HP_WMI_PROPERTY_SIZE: