\r
EFI_STATUS\r
InitializeXen (\r
- UINT32 XenLeaf\r
+ VOID\r
);\r
\r
-UINT32\r
+BOOLEAN\r
XenDetect (\r
VOID\r
);\r
\r
extern BOOLEAN mXen;\r
\r
-EFI_STATUS\r
-XenGetE820Map (\r
- EFI_E820_ENTRY64 **Entries,\r
- UINT32 *Count\r
+VOID\r
+XenPublishRamRegions (\r
+ VOID\r
);\r
\r
#endif // _PLATFORM_PEI_H_INCLUDED_\r