+ // Ensure PcdSystemMemorySize has been set\r
+ ASSERT (PcdGet64 (PcdSystemMemorySize) != 0);\r
+\r
+ SystemMemoryBase = (UINTN)PcdGet64 (PcdSystemMemoryBase);\r
+ SystemMemoryTop = SystemMemoryBase + PcdGet64 (PcdSystemMemorySize);\r
+ if (SystemMemoryTop - 1 > MAX_ADDRESS) {\r
+ SystemMemoryTop = (UINT64)MAX_ADDRESS + 1;\r
+ }\r
+ FdBase = (UINTN)PcdGet64 (PcdFdBaseAddress);\r
+ FdTop = FdBase + (UINTN)PcdGet32 (PcdFdSize);\r
+\r