// In case of standalone UEFI, we set the UEFI memory region at the top of the DRAM\r
UefiMemoryBase = SystemMemoryTop - FixedPcdGet32 (PcdSystemMemoryUefiRegionSize);\r
} else {\r
// In case of standalone UEFI, we set the UEFI memory region at the top of the DRAM\r
UefiMemoryBase = SystemMemoryTop - FixedPcdGet32 (PcdSystemMemoryUefiRegionSize);\r
} else {\r