void virtio_notify(VirtIODevice *vdev, VirtQueue *vq)

{

    /* Always notify when queue is empty */

    if ((vq->inuse || vring_avail_idx(vq) != vq->last_avail_idx) &&

        (vring_avail_flags(vq) & VRING_AVAIL_F_NO_INTERRUPT))

        return;



    vdev->isr |= 0x01;

    virtio_update_irq(vdev);

}

void virtio_notify(VirtIODevice *vdev, VirtQueue *vq)

{

    

    if ((vq->inuse || vring_avail_idx(vq) != vq->last_avail_idx) &&

        (vring_avail_flags(vq) & VRING_AVAIL_F_NO_INTERRUPT))

        return;



    vdev->isr |= 0x01;

    virtio_update_irq(vdev);

}

void FUNC_0(VirtIODevice *VAR_0, VirtQueue *VAR_1)

{

    

    if ((VAR_1->inuse || vring_avail_idx(VAR_1) != VAR_1->last_avail_idx) &&

        (vring_avail_flags(VAR_1) & VRING_AVAIL_F_NO_INTERRUPT))

        return;



    VAR_0->isr |= 0x01;

    virtio_update_irq(VAR_0);

}

void FUNC_0(VirtIODevice *VAR_0, VirtQueue *VAR_1)
{ if ((VAR_1->inuse || vring_avail_idx(VAR_1) != VAR_1->last_avail_idx) &&
(vring_avail_flags(VAR_1) & VRING_AVAIL_F_NO_INTERRUPT))
return; VAR_0->isr |= 0x01; virtio_update_irq(VAR_0); }