diff options
| author | Ard Biesheuvel <ard.biesheuvel@linaro.org> | 2015-09-09 15:30:37 +0000 |
|---|---|---|
| committer | abiesheuvel <abiesheuvel@Edk2> | 2015-09-09 15:30:37 +0000 |
| commit | 78c8ec8a3f1c09856f0d70027d6a9d814208a77f (patch) | |
| tree | 44cd764af518d7cbeffc6e6eeed3522d8785eb72 /ArmPlatformPkg/MemoryInitPei | |
| parent | 5f6ed4681fbd5f8dc49de6cedbf3534bd18dfd8e (diff) | |
| download | edk2-78c8ec8a3f1c09856f0d70027d6a9d814208a77f.tar.gz edk2-78c8ec8a3f1c09856f0d70027d6a9d814208a77f.tar.bz2 edk2-78c8ec8a3f1c09856f0d70027d6a9d814208a77f.zip | |
ArmPlatformPkg: ASSERT that PcdSystemMemoryBase does not exceed MAX_ADDRESS
For 32-bit ARM platforms, it is essential that system memory starts
below the 4 GB limit, since that is the only memory we can address
using the UEFI spec mandated 1:1 mapping. So assert that this is the
case.
Contributed-under: TianoCore Contribution Agreement 1.0
Signed-off-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Acked-by: Leif Lindholm <leif.lindholm@linaro.org>
git-svn-id: https://svn.code.sf.net/p/edk2/code/trunk/edk2@18429 6f19259b-4bc3-4df7-8a09-765794883524
Diffstat (limited to 'ArmPlatformPkg/MemoryInitPei')
| -rwxr-xr-x | ArmPlatformPkg/MemoryInitPei/MemoryInitPeim.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ArmPlatformPkg/MemoryInitPei/MemoryInitPeim.c b/ArmPlatformPkg/MemoryInitPei/MemoryInitPeim.c index 25baac170c..e7880d30b1 100755 --- a/ArmPlatformPkg/MemoryInitPei/MemoryInitPeim.c +++ b/ArmPlatformPkg/MemoryInitPei/MemoryInitPeim.c @@ -113,6 +113,7 @@ InitializeMemory ( // Ensure PcdSystemMemorySize has been set
ASSERT (PcdGet64 (PcdSystemMemorySize) != 0);
+ ASSERT (PcdGet64 (PcdSystemMemoryBase) < (UINT64)MAX_ADDRESS);
SystemMemoryBase = (UINTN)PcdGet64 (PcdSystemMemoryBase);
SystemMemoryTop = SystemMemoryBase + PcdGet64 (PcdSystemMemorySize);
|