VMM: Dynamically retrieve the interrupt vector for a virtio device.
[akaros.git] / user / vmm / virtio_mmio.c
index 5cef438..9be52fe 100644 (file)
@@ -451,7 +451,7 @@ void virtio_mmio_wr(struct virtual_machine *vm,
                // Notify the driver that the device-specific config changed
                virtio_mmio_set_cfg_irq(mmio_dev);
                if (mmio_dev->poke_guest)
-                       mmio_dev->poke_guest();
+                       mmio_dev->poke_guest(mmio_dev->vec);
 
                return;
        }