\r
#include <Guid/Acpi.h>\r
#include <Guid/SmBios.h>\r
-#include <Guid/Mps.h>\r
#include <Guid/HobList.h>\r
#include <Guid/GlobalVariable.h>\r
#include <Guid/EventGroup.h>\r
#define CONSOLE_IN BIT1\r
#define STD_ERROR BIT2\r
extern PLATFORM_CONSOLE_CONNECT_ENTRY gPlatformConsole[];\r
+extern PLATFORM_CONSOLE_CONNECT_ENTRY gXenPlatformConsole[];\r
\r
//\r
// Platform BDS Functions\r