vfio_pci_count_devs  967 drivers/vfio/pci/vfio_pci.c 						    vfio_pci_count_devs,
vfio_pci_count_devs 1044 drivers/vfio/pci/vfio_pci.c 						    vfio_pci_count_devs,
vfio_pci_count_devs 1583 drivers/vfio/pci/vfio_pci.c 	if (vfio_pci_for_each_slot_or_bus(vdev->pdev, vfio_pci_count_devs,