Searched refs:vfio_intx_update (Results 1 – 3 of 3) sorted by relevance
217 static void vfio_intx_update(VFIOPCIDevice *vdev, PCIINTxRoute *route) in vfio_intx_update() function252 vfio_intx_update(vdev, &route); in vfio_intx_routing_notifier()261 vfio_intx_update(vdev, &vdev->intx.route); in vfio_irqchip_change()
8 vfio_intx_update(const char *name, int new_irq, int target_irq) " (%s) IRQ moved %d -> %d"
869 ``vfio_intx_update()``)