\r
DEBUG ((EFI_D_ERROR, "Memory Init PEIM Loaded\n"));\r
\r
- // Ensure PcdSystemMemorySize has been set\r
- ASSERT (FixedPcdGet64 (PcdSystemMemorySize) != 0);\r
-\r
- SystemMemoryBase = (UINTN)FixedPcdGet64 (PcdSystemMemoryBase);\r
- SystemMemoryTop = SystemMemoryBase + (UINTN)FixedPcdGet64 (PcdSystemMemorySize);\r
- FdBase = (UINTN)PcdGet32 (PcdFdBaseAddress);\r
- FdTop = FdBase + (UINTN)PcdGet32 (PcdFdSize);\r
-\r
//\r
// Initialize the System Memory (DRAM)\r
//\r
ArmPlatformInitializeSystemMemory ();\r
}\r
\r
+ // Ensure PcdSystemMemorySize has been set\r
+ ASSERT (PcdGet64 (PcdSystemMemorySize) != 0);\r
+\r
+ SystemMemoryBase = (UINTN)PcdGet64 (PcdSystemMemoryBase);\r
+ SystemMemoryTop = SystemMemoryBase + (UINTN)PcdGet64 (PcdSystemMemorySize);\r
+ FdBase = (UINTN)PcdGet64 (PcdFdBaseAddress);\r
+ FdTop = FdBase + (UINTN)PcdGet32 (PcdFdSize);\r
+\r
//\r
// Declare the UEFI memory to PEI\r
//\r