vfio_device_set
static void vfio_pci_dev_set_try_reset(struct vfio_device_set *dev_set);
static int vfio_pci_dev_set_hot_reset(struct vfio_device_set *dev_set,
struct vfio_device_set *dev_set = data;
vfio_pci_dev_set_resettable(struct vfio_device_set *dev_set)
static int vfio_pci_dev_set_pm_runtime_get(struct vfio_device_set *dev_set)
static int vfio_pci_dev_set_hot_reset(struct vfio_device_set *dev_set,
static bool vfio_pci_dev_set_needs_reset(struct vfio_device_set *dev_set)
static void vfio_pci_dev_set_try_reset(struct vfio_device_set *dev_set)
struct vfio_device_set *dev_set = fill->vdev->dev_set;
struct vfio_device_set *dev_set = device->dev_set;
unsigned int vfio_device_set_open_count(struct vfio_device_set *dev_set)
vfio_find_device_in_devset(struct vfio_device_set *dev_set,
struct vfio_device_set *new_dev_set;
struct vfio_device_set *dev_set;
unsigned int vfio_device_set_open_count(struct vfio_device_set *dev_set);
vfio_find_device_in_devset(struct vfio_device_set *dev_set,
struct vfio_device_set *dev_set;