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