void virtio_queue_notify(VirtIODevice *vdev, int n)

{

    if (n < VIRTIO_PCI_QUEUE_MAX && vdev->vq[n].vring.desc) {

        trace_virtio_queue_notify(vdev, n, &vdev->vq[n]);

        vdev->vq[n].handle_output(vdev, &vdev->vq[n]);

    }

}

void virtio_queue_notify(VirtIODevice *vdev, int n)

{

    if (n < VIRTIO_PCI_QUEUE_MAX && vdev->vq[n].vring.desc) {

        trace_virtio_queue_notify(vdev, n, &vdev->vq[n]);

        vdev->vq[n].handle_output(vdev, &vdev->vq[n]);

    }

}

void FUNC_0(VirtIODevice *VAR_0, int VAR_1)

{

    if (VAR_1 < VIRTIO_PCI_QUEUE_MAX && VAR_0->vq[VAR_1].vring.desc) {

        trace_virtio_queue_notify(VAR_0, VAR_1, &VAR_0->vq[VAR_1]);

        VAR_0->vq[VAR_1].handle_output(VAR_0, &VAR_0->vq[VAR_1]);

    }

}

void FUNC_0(VirtIODevice *VAR_0, int VAR_1)
{ if (VAR_1 < VIRTIO_PCI_QUEUE_MAX && VAR_0->vq[VAR_1].vring.desc) { trace_virtio_queue_notify(VAR_0, VAR_1, &VAR_0->vq[VAR_1]); VAR_0->vq[VAR_1].handle_output(VAR_0, &VAR_0->vq[VAR_1]); } }