static void discard_vq_data(VirtQueue *vq, VirtIODevice *vdev)

{

    VirtQueueElement elem;



    if (!virtio_queue_ready(vq)) {

        return;

    }

    while (virtqueue_pop(vq, &elem)) {

        virtqueue_push(vq, &elem, 0);

    }

    virtio_notify(vdev, vq);

}

static void discard_vq_data(VirtQueue *vq, VirtIODevice *vdev)

{

    VirtQueueElement elem;



    if (!virtio_queue_ready(vq)) {

        return;

    }

    while (virtqueue_pop(vq, &elem)) {

        virtqueue_push(vq, &elem, 0);

    }

    virtio_notify(vdev, vq);

}

static void FUNC_0(VirtQueue *VAR_0, VirtIODevice *VAR_1)

{

    VirtQueueElement elem;



    if (!virtio_queue_ready(VAR_0)) {

        return;

    }

    while (virtqueue_pop(VAR_0, &elem)) {

        virtqueue_push(VAR_0, &elem, 0);

    }

    virtio_notify(VAR_1, VAR_0);

}

static void FUNC_0(VirtQueue *VAR_0, VirtIODevice *VAR_1)
{ VirtQueueElement elem; if (!virtio_queue_ready(VAR_0)) { return; } while (virtqueue_pop(VAR_0, &elem)) { virtqueue_push(VAR_0, &elem, 0); } virtio_notify(VAR_1, VAR_0); }