xen_igd_passthrough_isa_bridge_create(XenPCIPassthroughState *s,

                                      XenHostPCIDevice *dev)

{

    uint16_t gpu_dev_id;

    PCIDevice *d = &s->dev;



    gpu_dev_id = dev->device_id;

    igd_passthrough_isa_bridge_create(d->bus, gpu_dev_id);

}

xen_igd_passthrough_isa_bridge_create(XenPCIPassthroughState *s,

                                      XenHostPCIDevice *dev)

{

    uint16_t gpu_dev_id;

    PCIDevice *d = &s->dev;



    gpu_dev_id = dev->device_id;

    igd_passthrough_isa_bridge_create(d->bus, gpu_dev_id);

}

FUNC_0(XenPCIPassthroughState *VAR_0,

                                      XenHostPCIDevice *VAR_1)

{

    uint16_t gpu_dev_id;

    PCIDevice *d = &VAR_0->VAR_1;



    gpu_dev_id = VAR_1->device_id;

    igd_passthrough_isa_bridge_create(d->bus, gpu_dev_id);

}

FUNC_0(XenPCIPassthroughState *VAR_0,
XenHostPCIDevice *VAR_1)
{ uint16_t gpu_dev_id; PCIDevice *d = &VAR_0->VAR_1; gpu_dev_id = VAR_1->device_id; igd_passthrough_isa_bridge_create(d->bus, gpu_dev_id); }