Symbol: HP_WMI_BIOS_INTEGER_GUID
drivers/platform/x86/hp/hp-bioscfg/bioscfg.c
1018
ret = hp_init_bios_attributes(HPWMI_INTEGER_TYPE, HP_WMI_BIOS_INTEGER_GUID);
drivers/platform/x86/hp/hp-bioscfg/int-attributes.c
111
bioscfg_drv.integer_instances_count = hp_get_instance_count(HP_WMI_BIOS_INTEGER_GUID);