static inline void vring_used_idx_set(VirtQueue *vq, uint16_t val)

{

    VRingMemoryRegionCaches *caches = atomic_rcu_read(&vq->vring.caches);

    hwaddr pa = offsetof(VRingUsed, idx);

    virtio_stw_phys_cached(vq->vdev, &caches->used, pa, val);

    address_space_cache_invalidate(&caches->used, pa, sizeof(val));

    vq->used_idx = val;

}

static inline void vring_used_idx_set(VirtQueue *vq, uint16_t val)

{

    VRingMemoryRegionCaches *caches = atomic_rcu_read(&vq->vring.caches);

    hwaddr pa = offsetof(VRingUsed, idx);

    virtio_stw_phys_cached(vq->vdev, &caches->used, pa, val);

    address_space_cache_invalidate(&caches->used, pa, sizeof(val));

    vq->used_idx = val;

}

    VRingMemoryRegionCaches *caches = atomic_rcu_read(&vq->vring.caches);     VRingMemoryRegionCaches *caches = atomic_rcu_read(&vq->vring.caches);     VRingMemoryRegionCaches *caches = atomic_rcu_read(&vq->vring.caches);     VRingMemoryRegionCaches *caches = atomic_rcu_read(&vq->vring.caches);     VRingMemoryRegionCaches *caches = atomic_rcu_read(&vq->vring.caches);     VRingMemoryRegionCaches *caches = atomic_rcu_read(&vq->vring.caches);     VRingMemoryRegionCaches *caches = atomic_rcu_read(&vq->vring.caches);     VRingMemoryRegionCaches *caches = atomic_rcu_read(&vq->vring.caches);
static inline void FUNC_0(VirtQueue *VAR_0, uint16_t VAR_1)

{

    VRingMemoryRegionCaches *caches = atomic_rcu_read(&VAR_0->vring.caches);

    hwaddr pa = offsetof(VRingUsed, idx);

    virtio_stw_phys_cached(VAR_0->vdev, &caches->used, pa, VAR_1);

    address_space_cache_invalidate(&caches->used, pa, sizeof(VAR_1));

    VAR_0->used_idx = VAR_1;

}

static inline void FUNC_0(VirtQueue *VAR_0, uint16_t VAR_1)
{ VRingMemoryRegionCaches *caches = atomic_rcu_read(&VAR_0->vring.caches); hwaddr pa = offsetof(VRingUsed, idx); virtio_stw_phys_cached(VAR_0->vdev, &caches->used, pa, VAR_1); address_space_cache_invalidate(&caches->used, pa, sizeof(VAR_1)); VAR_0->used_idx = VAR_1; }