#include <Library/UefiBootServicesTableLib.h>\r
#include <Library/DebugLib.h>\r
#include <Library/PcdLib.h>\r
+#include <Library/XenPlatformLib.h>\r
\r
#include <IndustryStandard/Acpi.h>\r
\r
OUT UINTN *TableKey\r
);\r
\r
-BOOLEAN\r
-XenDetected (\r
- VOID\r
- );\r
-\r
EFI_STATUS\r
EFIAPI\r
InstallXenTables (\r