\r
#include <Uefi.h>\r
\r
+//\r
+// Xen interface version used\r
+//\r
+#define __XEN_INTERFACE_VERSION__ 0x00040400\r
+\r
//\r
// Libraries\r
//\r
//\r
// Produced Protocols\r
//\r
+#include <Protocol/XenBus.h>\r
\r
\r
//\r
//\r
// Other stuff\r
//\r
+#include <IndustryStandard/Xen/xen.h>\r
+\r
#define PCI_VENDOR_ID_XEN 0x5853\r
#define PCI_DEVICE_ID_XEN_PLATFORM 0x0001\r
\r
UINT32 Signature;\r
EFI_DRIVER_BINDING_PROTOCOL *This;\r
EFI_HANDLE ControllerHandle;\r
+ EFI_PCI_IO_PROTOCOL *PciIo;\r
EFI_EVENT ExitBootEvent;\r
+\r
+ VOID *Hyperpage;\r
+ shared_info_t *SharedInfo;\r
};\r
\r
#endif\r