Symbol: ACPI_HP_WMI_BIOS_GUID
sys/dev/acpi_support/acpi_hp.c
473
ACPI_HP_WMI_BIOS_GUID))
sys/dev/acpi_support/acpi_hp.c
516
ACPI_HP_WMI_BIOS_GUID)) {
sys/dev/acpi_support/acpi_hp.c
896
if (ACPI_FAILURE(ACPI_WMI_EVALUATE_CALL(wmi_dev, ACPI_HP_WMI_BIOS_GUID,