vfio_pci_disable  179 drivers/vfio/pci/vfio_pci.c static void vfio_pci_disable(struct vfio_pci_device *vdev);
vfio_pci_disable  364 drivers/vfio/pci/vfio_pci.c 	vfio_pci_disable(vdev);
vfio_pci_disable  474 drivers/vfio/pci/vfio_pci.c 		vfio_pci_disable(vdev);