HPWMI_INTEGER_TYPE
ret = hp_init_bios_attributes(HPWMI_INTEGER_TYPE, HP_WMI_BIOS_INTEGER_GUID);
case HPWMI_INTEGER_TYPE:
case HPWMI_INTEGER_TYPE:
case HPWMI_INTEGER_TYPE:
case HPWMI_INTEGER_TYPE: