Searched refs:vfio_device_set_open_count (Results 1 – 3 of 3) sorted by relevance
284 unsigned int vfio_device_set_open_count(struct vfio_device_set *dev_set);
137 unsigned int vfio_device_set_open_count(struct vfio_device_set *dev_set) in vfio_device_set_open_count() function148 EXPORT_SYMBOL_GPL(vfio_device_set_open_count);
2514 if (vfio_device_set_open_count(dev_set) > 1) in vfio_pci_dev_set_needs_reset()