400 static inline void vring_used_write(VirtQueue *vq, VRingUsedElem *uelem,  in vring_used_write()  argument
410     virtio_tswap32s(vq->vdev, &uelem->id);  in vring_used_write()
411     virtio_tswap32s(vq->vdev, &uelem->len);  in vring_used_write()
412     address_space_write_cached(&caches->used, pa, uelem, sizeof(VRingUsedElem));  in vring_used_write()
908     VRingUsedElem uelem;  in virtqueue_split_fill()  local
916     uelem.id = elem->index;  in virtqueue_split_fill()
917     uelem.len = len;  in virtqueue_split_fill()
918     vring_used_write(vq, &uelem, idx);  in virtqueue_split_fill()
1087     VRingUsedElem uelem;  in virtqueue_ordered_flush()  local
1113             uelem.id = vq->used_elems[i].index;  in virtqueue_ordered_flush()
1114             uelem.len = vq->used_elems[i].len;  in virtqueue_ordered_flush()
1115             vring_used_write(vq, &uelem, i);  in virtqueue_ordered_flush()