Symbol: vfio_device_set_open_count
drivers/vfio/pci/vfio_pci_core.c
2526
if (vfio_device_set_open_count(dev_set) > 1)
drivers/vfio/vfio_main.c
149
EXPORT_SYMBOL_GPL(vfio_device_set_open_count);
include/linux/vfio.h
308
unsigned int vfio_device_set_open_count(struct vfio_device_set *dev_set);