Symbol: irq_is
drivers/vfio/pci/vfio_pci_intrs.c
689
if (irq_is(vdev, index) && !count && (flags & VFIO_IRQ_SET_DATA_NONE)) {
drivers/vfio/pci/vfio_pci_intrs.c
694
if (!(irq_is(vdev, index) || is_irq_none(vdev)))
drivers/vfio/pci/vfio_pci_intrs.c
716
if (!irq_is(vdev, index))