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

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/Acpi/BootScriptExecutorDxe/
H A DScriptExecute.c231 ((Facs->Flags & EFI_ACPI_4_0_64BIT_WAKE_SUPPORTED_F) != 0) &&
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/IndustryStandard/
H A DAcpi40.h246 #define EFI_ACPI_4_0_64BIT_WAKE_SUPPORTED_F BIT1 macro
/vbox/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/Universal/Acpi/S3Resume2Pei/
H A DS3Resume.c433 ((Facs->Flags & EFI_ACPI_4_0_64BIT_WAKE_SUPPORTED_F) != 0) &&

Completed in 52 milliseconds