vfio_intx_disable 456 drivers/vfio/pci/vfio_pci_intrs.c vfio_intx_disable(vdev); vfio_intx_disable 476 drivers/vfio/pci/vfio_pci_intrs.c vfio_intx_disable(vdev);