)\r
{\r
EFI_PHYSICAL_ADDRESS TopOfMemory;\r
+ UINT32 XenLeaf;\r
\r
DEBUG ((EFI_D_ERROR, "Platform PEIM Loaded\n"));\r
\r
DebugDumpCmos ();\r
\r
+ XenLeaf = XenDetect ();\r
+\r
TopOfMemory = MemDetect ();\r
\r
- InitializeXen ();\r
+ if (XenLeaf != 0) {\r
+ DEBUG ((EFI_D_INFO, "Xen was detected\n"));\r
+ InitializeXen (XenLeaf);\r
+ }\r
\r
ReserveEmuVariableNvStore ();\r
\r