Searched refs:ACPI_HP_WMI_BIOS_GUID (Results 1 - 1 of 1) sorted by relevance

/freebsd-10.2-release/sys/dev/acpi_support/
H A Dacpi_hp.c66 #define ACPI_HP_WMI_BIOS_GUID "5FB7F034-2C63-45E9-BE91-3D44E2C707E4" macro
484 ACPI_HP_WMI_BIOS_GUID)) {
830 if (ACPI_FAILURE(ACPI_WMI_EVALUATE_CALL(wmi_dev, ACPI_HP_WMI_BIOS_GUID,

Completed in 43 milliseconds