static void vring_desc_read(VirtIODevice *vdev, VRingDesc *desc,

                            hwaddr desc_pa, int i)

{

    address_space_read(&address_space_memory, desc_pa + i * sizeof(VRingDesc),

                       MEMTXATTRS_UNSPECIFIED, (void *)desc, sizeof(VRingDesc));

    virtio_tswap64s(vdev, &desc->addr);

    virtio_tswap32s(vdev, &desc->len);

    virtio_tswap16s(vdev, &desc->flags);

    virtio_tswap16s(vdev, &desc->next);

}

static void vring_desc_read(VirtIODevice *vdev, VRingDesc *desc,

                            hwaddr desc_pa, int i)

{

    address_space_read(&address_space_memory, desc_pa + i * sizeof(VRingDesc),

                       MEMTXATTRS_UNSPECIFIED, (void *)desc, sizeof(VRingDesc));

    virtio_tswap64s(vdev, &desc->addr);

    virtio_tswap32s(vdev, &desc->len);

    virtio_tswap16s(vdev, &desc->flags);

    virtio_tswap16s(vdev, &desc->next);

}

static void FUNC_0(VirtIODevice *VAR_0, VRingDesc *VAR_1,

                            hwaddr VAR_2, int VAR_3)

{

    address_space_read(&address_space_memory, VAR_2 + VAR_3 * sizeof(VRingDesc),

                       MEMTXATTRS_UNSPECIFIED, (void *)VAR_1, sizeof(VRingDesc));

    virtio_tswap64s(VAR_0, &VAR_1->addr);

    virtio_tswap32s(VAR_0, &VAR_1->len);

    virtio_tswap16s(VAR_0, &VAR_1->flags);

    virtio_tswap16s(VAR_0, &VAR_1->next);

}

static void FUNC_0(VirtIODevice *VAR_0, VRingDesc *VAR_1,
hwaddr VAR_2, int VAR_3)
{ address_space_read(&address_space_memory, VAR_2 + VAR_3 * sizeof(VRingDesc),
MEMTXATTRS_UNSPECIFIED, (void *)VAR_1, sizeof(VRingDesc)); virtio_tswap64s(VAR_0, &VAR_1->addr); virtio_tswap32s(VAR_0, &VAR_1->len); virtio_tswap16s(VAR_0, &VAR_1->flags); virtio_tswap16s(VAR_0, &VAR_1->next); }