ArmPlatformPkg: Increase more ARM address Pcd entries to 64-bit.

[mirror_edk2.git] / ArmPlatformPkg / ArmVirtualizationPkg / Library / ArmVirtualizationPlatformLib / Virt.c

diff --git a/ArmPlatformPkg/ArmVirtualizationPkg/Library/ArmVirtualizationPlatformLib/Virt.c b/ArmPlatformPkg/ArmVirtualizationPkg/Library/ArmVirtualizationPlatformLib/Virt.c
index 7961b0524e11060640fb9404aac85bef9cef9215..aa4ced4582e8cfe3566542a80a592964d538d2e5 100644 (file)
--- a/ArmPlatformPkg/ArmVirtualizationPkg/Library/ArmVirtualizationPlatformLib/Virt.c
+++ b/ArmPlatformPkg/ArmVirtualizationPkg/Library/ArmVirtualizationPlatformLib/Virt.c
@@ -181,9 +181,9 @@ ArmPlatformInitializeSystemMemory (
   //\r
   ASSERT (NewSize >= SIZE_128MB);\r
   ASSERT (\r
-    (((UINT64)PcdGet32 (PcdFdBaseAddress) +\r
+    (((UINT64)PcdGet64 (PcdFdBaseAddress) +\r
       (UINT64)PcdGet32 (PcdFdSize)) <= NewBase) ||\r
-    ((UINT64)PcdGet32 (PcdFdBaseAddress) >= (NewBase + NewSize)));\r
+    ((UINT64)PcdGet64 (PcdFdBaseAddress) >= (NewBase + NewSize)));\r
 }\r
 \r
 VOID\r