Searched refs:HP_WMI_BIOS_INTEGER_GUID (Results 1 – 3 of 3) sorted by relevance
111 bioscfg_drv.integer_instances_count = hp_get_instance_count(HP_WMI_BIOS_INTEGER_GUID); in hp_alloc_integer_data()
62 #define HP_WMI_BIOS_INTEGER_GUID "8232DE3D-663D-4327-A8F4-E293ADB9BF05" macro
1016 ret = hp_init_bios_attributes(HPWMI_INTEGER_TYPE, HP_WMI_BIOS_INTEGER_GUID); in hp_init()