vq_ring_update_avail
static void vq_ring_update_avail(struct virtqueue *, uint16_t);
vq_ring_update_avail(vq, head_idx);