vfio_platform_mask   36 drivers/vfio/platform/vfio_platform_irq.c 	vfio_platform_mask(irq_ctx);
vfio_platform_mask   66 drivers/vfio/platform/vfio_platform_irq.c 		vfio_platform_mask(&vdev->irqs[index]);
vfio_platform_mask   72 drivers/vfio/platform/vfio_platform_irq.c 			vfio_platform_mask(&vdev->irqs[index]);