**/\r
EFI_STATUS\r
InitializeXen (\r
- VOID\r
+ UINT32 XenLeaf\r
)\r
{\r
- UINT32 XenLeaf;\r
-\r
- XenLeaf = XenDetect ();\r
-\r
- if (XenLeaf == 0) {\r
- return EFI_NOT_FOUND;\r
- }\r
-\r
- DEBUG ((EFI_D_INFO, "Xen was detected\n"));\r
-\r
XenConnect (XenLeaf);\r
\r
//\r