void virtio_queue_notify_vq(VirtQueue *vq)

{

    if (vq->vring.desc) {

        VirtIODevice *vdev = vq->vdev;

        trace_virtio_queue_notify(vdev, vq - vdev->vq, vq);

        vq->handle_output(vdev, vq);

    }

}

void virtio_queue_notify_vq(VirtQueue *vq)

{

    if (vq->vring.desc) {

        VirtIODevice *vdev = vq->vdev;

        trace_virtio_queue_notify(vdev, vq - vdev->vq, vq);

        vq->handle_output(vdev, vq);

    }

}

void FUNC_0(VirtQueue *VAR_0)

{

    if (VAR_0->vring.desc) {

        VirtIODevice *vdev = VAR_0->vdev;

        trace_virtio_queue_notify(vdev, VAR_0 - vdev->VAR_0, VAR_0);

        VAR_0->handle_output(vdev, VAR_0);

    }

}

void FUNC_0(VirtQueue *VAR_0)
{ if (VAR_0->vring.desc) { VirtIODevice *vdev = VAR_0->vdev; trace_virtio_queue_notify(vdev, VAR_0 - vdev->VAR_0, VAR_0); VAR_0->handle_output(vdev, VAR_0); } }