Searched refs:EFI_ACPI_4_0_OSPM_64BIT_WAKE__F (Results 1 – 4 of 4) sorted by relevance
118 ((Facs->Flags & EFI_ACPI_4_0_OSPM_64BIT_WAKE__F) != 0)) { in IsLongModeWakingVector()
157 ((Facs->Flags & EFI_ACPI_4_0_OSPM_64BIT_WAKE__F) != 0)) { in S3BootScriptExecutorEntryFunction()
419 ((Facs->Flags & EFI_ACPI_4_0_OSPM_64BIT_WAKE__F) != 0)) { in IsLongModeWakingVector()520 ((Facs->Flags & EFI_ACPI_4_0_OSPM_64BIT_WAKE__F) != 0)) { in S3ResumeBootOs()
252 #define EFI_ACPI_4_0_OSPM_64BIT_WAKE__F BIT0 macro