127         vdev->intx.route.mode != PCI_INTX_ENABLED ||  in vfio_intx_enable_kvm()
147                                            vdev->intx.route.irq)) {  in vfio_intx_enable_kvm()
170                                           vdev->intx.route.irq);  in vfio_intx_enable_kvm()
199                                               vdev->intx.route.irq)) {  in vfio_intx_disable_kvm()
219 static void vfio_intx_update(VFIOPCIDevice *vdev, PCIINTxRoute *route)  in vfio_intx_update()  argument
224                            vdev->intx.route.irq, route->irq);  in vfio_intx_update()
228     vdev->intx.route = *route;  in vfio_intx_update()
230     if (route->mode != PCI_INTX_ENABLED) {  in vfio_intx_update()
245     PCIINTxRoute route;  in vfio_intx_routing_notifier()  local
251     route = pci_device_route_intx_to_irq(&vdev->pdev, vdev->intx.pin);  in vfio_intx_routing_notifier()
253     if (pci_intx_route_changed(&vdev->intx.route, &route)) {  in vfio_intx_routing_notifier()
254         vfio_intx_update(vdev, &route);  in vfio_intx_routing_notifier()
263     vfio_intx_update(vdev, &vdev->intx.route);  in vfio_irqchip_change()
289         vdev->intx.route = pci_device_route_intx_to_irq(&vdev->pdev,  in vfio_intx_enable()