vfio_platform_unmask   96 drivers/vfio/platform/vfio_platform_irq.c 	vfio_platform_unmask(irq_ctx);
vfio_platform_unmask  127 drivers/vfio/platform/vfio_platform_irq.c 		vfio_platform_unmask(&vdev->irqs[index]);
vfio_platform_unmask  133 drivers/vfio/platform/vfio_platform_irq.c 			vfio_platform_unmask(&vdev->irqs[index]);