ioeventfds_nr     389 drivers/vfio/pci/vfio_pci.c 	vdev->ioeventfds_nr = 0;
ioeventfds_nr     119 drivers/vfio/pci/vfio_pci_private.h 	int			ioeventfds_nr;
ioeventfds_nr     339 drivers/vfio/pci/vfio_pci_rdwr.c 				vdev->ioeventfds_nr--;
ioeventfds_nr     354 drivers/vfio/pci/vfio_pci_rdwr.c 	if (vdev->ioeventfds_nr >= VFIO_PCI_IOEVENTFD_MAX) {
ioeventfds_nr     379 drivers/vfio/pci/vfio_pci_rdwr.c 	vdev->ioeventfds_nr++;