|
@@ -43,7 +43,8 @@ OBJECT_DECLARE_SIMPLE_TYPE(XenPCIPassthroughState, XEN_PT_DEVICE)
|
|
|
|
|
|
uint32_t igd_read_opregion(XenPCIPassthroughState *s);
|
|
uint32_t igd_read_opregion(XenPCIPassthroughState *s);
|
|
void igd_write_opregion(XenPCIPassthroughState *s, uint32_t val);
|
|
void igd_write_opregion(XenPCIPassthroughState *s, uint32_t val);
|
|
-void igd_passthrough_isa_bridge_create(PCIBus *bus, uint16_t gpu_dev_id);
|
|
|
|
|
|
+void xen_igd_passthrough_isa_bridge_create(XenPCIPassthroughState *s,
|
|
|
|
+ XenHostPCIDevice *dev);
|
|
|
|
|
|
/* function type for config reg */
|
|
/* function type for config reg */
|
|
typedef int (*xen_pt_conf_reg_init)
|
|
typedef int (*xen_pt_conf_reg_init)
|