//\r
// Consumed Protocols\r
//\r
-#include <Protocol/PciIo.h>\r
+#include <Protocol/XenIo.h>\r
\r
\r
//\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
-\r
typedef struct _XENBUS_DEVICE_PATH XENBUS_DEVICE_PATH;\r
typedef struct _XENBUS_DEVICE XENBUS_DEVICE;\r
\r
UINT32 Signature;\r
EFI_DRIVER_BINDING_PROTOCOL *This;\r
EFI_HANDLE ControllerHandle;\r
- EFI_PCI_IO_PROTOCOL *PciIo;\r
+ XENIO_PROTOCOL *XenIo;\r
EFI_EVENT ExitBootEvent;\r
EFI_DEVICE_PATH_PROTOCOL *DevicePath;\r
LIST_ENTRY ChildList;\r
\r
- VOID *Hyperpage;\r
shared_info_t *SharedInfo;\r
};\r
\r
EFIAPI\r
TestAndClearBit (\r
IN INT32 Bit,\r
- IN volatile VOID *Address\r
+ IN VOID *Address\r
);\r
\r
CHAR8*\r