Symbol: HP_WMI_BIOS_ORDERED_LIST_GUID
drivers/platform/x86/hp/hp-bioscfg/bioscfg.c
1026
ret = hp_init_bios_attributes(HPWMI_ORDERED_LIST_TYPE, HP_WMI_BIOS_ORDERED_LIST_GUID);
drivers/platform/x86/hp/hp-bioscfg/order-list-attributes.c
100
hp_get_instance_count(HP_WMI_BIOS_ORDERED_LIST_GUID);