Searched refs:EFI_ACPI_4_0_64BIT_WAKE_SUPPORTED_F (Results 1 – 5 of 5) sorted by relevance
117 ((Facs->Flags & EFI_ACPI_4_0_64BIT_WAKE_SUPPORTED_F) != 0) && in IsLongModeWakingVector()
156 ((Facs->Flags & EFI_ACPI_4_0_64BIT_WAKE_SUPPORTED_F) != 0) && in S3BootScriptExecutorEntryFunction()
418 ((Facs->Flags & EFI_ACPI_4_0_64BIT_WAKE_SUPPORTED_F) != 0) && in IsLongModeWakingVector()519 ((Facs->Flags & EFI_ACPI_4_0_64BIT_WAKE_SUPPORTED_F) != 0) && in S3ResumeBootOs()
333 ((Facs->Flags & EFI_ACPI_4_0_64BIT_WAKE_SUPPORTED_F) != 0)) { in IsLongModeWakingVectorSupport()
246 #define EFI_ACPI_4_0_64BIT_WAKE_SUPPORTED_F BIT1 macro