vu_queue_empty(VuDev *dev, VuVirtq *vq)

{

    if (vq->shadow_avail_idx != vq->last_avail_idx) {

        return 0;

    }



    return vring_avail_idx(vq) == vq->last_avail_idx;

}

vu_queue_empty(VuDev *dev, VuVirtq *vq)

{

    if (vq->shadow_avail_idx != vq->last_avail_idx) {

        return 0;

    }



    return vring_avail_idx(vq) == vq->last_avail_idx;

}

        return 0;
FUNC_0(VuDev *VAR_0, VuVirtq *VAR_1)

{

    if (VAR_1->shadow_avail_idx != VAR_1->last_avail_idx) {

        return 0;

    }



    return vring_avail_idx(VAR_1) == VAR_1->last_avail_idx;

}

FUNC_0(VuDev *VAR_0, VuVirtq *VAR_1)
{ if (VAR_1->shadow_avail_idx != VAR_1->last_avail_idx) { return 0; } return vring_avail_idx(VAR_1) == VAR_1->last_avail_idx; }