Symbol: ACPI_SBL_FW_UPDATE_WMI_GUID
sys/dev/acpi_support/acpi_sbl_wmi.c
123
ACPI_SBL_FW_UPDATE_WMI_GUID, 0, &input)))
sys/dev/acpi_support/acpi_sbl_wmi.c
67
ACPI_SBL_FW_UPDATE_WMI_GUID))
sys/dev/acpi_support/acpi_sbl_wmi.c
78
ACPI_SBL_FW_UPDATE_WMI_GUID))
sys/dev/acpi_support/acpi_sbl_wmi.c
92
ACPI_SBL_FW_UPDATE_WMI_GUID, 0, &out))) {