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

/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkModulePkg/Universal/Acpi/AcpiS3SaveDxe/
H A DAcpiVariableThunkPlatform.c74 EFI_PHYSICAL_ADDRESS AcpiMemoryBase; local
84 AcpiMemoryBase = (EFI_PHYSICAL_ADDRESS)(UINTN)AllocateAcpiNvsMemoryBelow4G (PcdGet32 (PcdS3AcpiReservedMemorySize));
85 ASSERT (AcpiMemoryBase != 0);
107 mAcpiVariableSetCompatibility->AcpiReservedMemoryBase = AcpiMemoryBase;
111 DEBUG((EFI_D_INFO, "AcpiVariableThunkPlatform: AcpiMemoryBase is 0x%8x\n", mAcpiVariableSetCompatibility->AcpiReservedMemoryBase));

Completed in 1374 milliseconds