pci.h (64410a741d57b62f736562a89b89d0497b3033ce) pci.h (d3c6a18bc7affd3b89903d98d8a3125a3e1c9861)
1/*
2 * vfio based device assignment support - PCI devices
3 *
4 * Copyright Red Hat, Inc. 2012-2015
5 *
6 * Authors:
7 * Alex Williamson <alex.williamson@redhat.com>
8 *

--- 213 unchanged lines hidden (view full) ---

222void vfio_pci_pre_reset(VFIOPCIDevice *vdev);
223void vfio_pci_post_reset(VFIOPCIDevice *vdev);
224bool vfio_pci_host_match(PCIHostDeviceAddress *addr, const char *name);
225int vfio_pci_get_pci_hot_reset_info(VFIOPCIDevice *vdev,
226 struct vfio_pci_hot_reset_info **info_p);
227
228bool vfio_populate_vga(VFIOPCIDevice *vdev, Error **errp);
229
1/*
2 * vfio based device assignment support - PCI devices
3 *
4 * Copyright Red Hat, Inc. 2012-2015
5 *
6 * Authors:
7 * Alex Williamson <alex.williamson@redhat.com>
8 *

--- 213 unchanged lines hidden (view full) ---

222void vfio_pci_pre_reset(VFIOPCIDevice *vdev);
223void vfio_pci_post_reset(VFIOPCIDevice *vdev);
224bool vfio_pci_host_match(PCIHostDeviceAddress *addr, const char *name);
225int vfio_pci_get_pci_hot_reset_info(VFIOPCIDevice *vdev,
226 struct vfio_pci_hot_reset_info **info_p);
227
228bool vfio_populate_vga(VFIOPCIDevice *vdev, Error **errp);
229
230int vfio_pci_igd_opregion_init(VFIOPCIDevice *vdev,
231 struct vfio_region_info *info,
232 Error **errp);
230bool vfio_pci_igd_opregion_init(VFIOPCIDevice *vdev,
231 struct vfio_region_info *info,
232 Error **errp);
233
234void vfio_display_reset(VFIOPCIDevice *vdev);
235bool vfio_display_probe(VFIOPCIDevice *vdev, Error **errp);
236void vfio_display_finalize(VFIOPCIDevice *vdev);
237
238extern const VMStateDescription vfio_display_vmstate;
239
240#endif /* HW_VFIO_VFIO_PCI_H */
233
234void vfio_display_reset(VFIOPCIDevice *vdev);
235bool vfio_display_probe(VFIOPCIDevice *vdev, Error **errp);
236void vfio_display_finalize(VFIOPCIDevice *vdev);
237
238extern const VMStateDescription vfio_display_vmstate;
239
240#endif /* HW_VFIO_VFIO_PCI_H */