void virtio_irq(VirtQueue *vq)

{

    trace_virtio_irq(vq);

    virtio_set_isr(vq->vdev, 0x1);

    virtio_notify_vector(vq->vdev, vq->vector);

}

void virtio_irq(VirtQueue *vq)

{

    trace_virtio_irq(vq);

    virtio_set_isr(vq->vdev, 0x1);

    virtio_notify_vector(vq->vdev, vq->vector);

}

void virtio_irq(VirtQueue *vq)     trace_virtio_irq(vq);     virtio_set_isr(vq->vdev, 0x1);     virtio_notify_vector(vq->vdev, vq->vector);
void FUNC_0(VirtQueue *VAR_0)

{

    trace_virtio_irq(VAR_0);

    virtio_set_isr(VAR_0->vdev, 0x1);

    virtio_notify_vector(VAR_0->vdev, VAR_0->vector);

}

void FUNC_0(VirtQueue *VAR_0)
{ trace_virtio_irq(VAR_0); virtio_set_isr(VAR_0->vdev, 0x1); virtio_notify_vector(VAR_0->vdev, VAR_0->vector); }