void virtio_queue_set_num(VirtIODevice *vdev, int n, int num)

{

    if (num <= VIRTQUEUE_MAX_SIZE) {

        vdev->vq[n].vring.num = num;

        virtqueue_init(&vdev->vq[n]);

    }

}

void virtio_queue_set_num(VirtIODevice *vdev, int n, int num)

{

    if (num <= VIRTQUEUE_MAX_SIZE) {

        vdev->vq[n].vring.num = num;

        virtqueue_init(&vdev->vq[n]);

    }

}

void FUNC_0(VirtIODevice *VAR_0, int VAR_1, int VAR_2)

{

    if (VAR_2 <= VIRTQUEUE_MAX_SIZE) {

        VAR_0->vq[VAR_1].vring.VAR_2 = VAR_2;

        virtqueue_init(&VAR_0->vq[VAR_1]);

    }

}

void FUNC_0(VirtIODevice *VAR_0, int VAR_1, int VAR_2)
{ if (VAR_2 <= VIRTQUEUE_MAX_SIZE) { VAR_0->vq[VAR_1].vring.VAR_2 = VAR_2; virtqueue_init(&VAR_0->vq[VAR_1]); } }