vhost_get_avail
r = vhost_get_avail(vq, idx, &vq->avail->idx);
return vhost_get_avail(vq, *head,
return vhost_get_avail(vq, *flags, &vq->avail->flags);
return vhost_get_avail(vq, *event, vhost_used_event(vq));