\r
DEBUG ((EFI_D_LOAD | EFI_D_INFO, "Memory Init PEIM Loaded\n"));\r
\r
- //\r
- // Initialize the System Memory (DRAM)\r
- //\r
- if (!FeaturePcdGet (PcdSystemMemoryInitializeInSec)) {\r
- // In case the DRAM has not been initialized by the secure firmware\r
- ArmPlatformInitializeSystemMemory ();\r
- }\r
-\r
// Ensure PcdSystemMemorySize has been set\r
ASSERT (PcdGet64 (PcdSystemMemorySize) != 0);\r
+ ASSERT (PcdGet64 (PcdSystemMemoryBase) < (UINT64)MAX_ADDRESS);\r
\r
SystemMemoryBase = (UINTN)PcdGet64 (PcdSystemMemoryBase);\r
SystemMemoryTop = SystemMemoryBase + PcdGet64 (PcdSystemMemorySize);\r