AddIoMemoryBaseSizeHob (0xFEC00000, SIZE_4KB);\r
AddIoMemoryBaseSizeHob (0xFED00000, SIZE_1KB);\r
AddIoMemoryBaseSizeHob (PcdGet32(PcdCpuLocalApicBaseAddress), SIZE_1MB);\r
- } else {\r
- XenPublishRamRegions ();\r
}\r
}\r
\r
\r
PublishPeiMemory ();\r
\r
- if (!mXen) {\r
- InitializeRamRegions ();\r
- }\r
+ InitializeRamRegions ();\r
\r
if (mXen) {\r
DEBUG ((EFI_D_INFO, "Xen was detected\n"));\r