HPWMI_BIOS_GUID   233 drivers/platform/x86/hp-wmi.c 	wmi_evaluate_method(HPWMI_BIOS_GUID, 0, mid, &input, &output);
HPWMI_BIOS_GUID   953 drivers/platform/x86/hp-wmi.c 	int bios_capable = wmi_has_guid(HPWMI_BIOS_GUID);