irq_is            501 drivers/vfio/pci/vfio_pci_intrs.c 	if (irq_is(vdev, index) && !count && (flags & VFIO_IRQ_SET_DATA_NONE)) {
irq_is            506 drivers/vfio/pci/vfio_pci_intrs.c 	if (!(irq_is(vdev, index) || is_irq_none(vdev)))
irq_is            528 drivers/vfio/pci/vfio_pci_intrs.c 	if (!irq_is(vdev, index) || start + count > vdev->num_ctx)