vfio_pci_intx_mask  603 drivers/vfio/pci/vfio_pci_config.c 			vfio_pci_intx_mask(vdev);
vfio_pci_intx_mask  439 drivers/vfio/pci/vfio_pci_intrs.c 		vfio_pci_intx_mask(vdev);
vfio_pci_intx_mask  443 drivers/vfio/pci/vfio_pci_intrs.c 			vfio_pci_intx_mask(vdev);
vfio_pci_intx_mask  133 drivers/vfio/pci/vfio_pci_private.h extern void vfio_pci_intx_mask(struct vfio_pci_device *vdev);