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,