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