dma32_to_u32
(void *)(u64)dma32_to_u32(irb->scsw.cmd.cpa));
u32 gcpa = dma32_to_u32(cpa);
gcda = dma32_to_u32(cda);
offset = dma32_to_u32(ccw->cda) - ccw_head;
ret = vfio_dma_rw(vdev, dma32_to_u32(ccw->cda), idaws, idal_len, false);
idaws[0] = u64_to_dma64(dma32_to_u32(ccw->cda));
ret = vfio_dma_rw(vdev, dma32_to_u32(ccw->cda), &iova, size, false);
iova = dma32_to_u32(ccw->cda);
pa->pa_iova[i] = dma32_to_u32(idaws_f1[i]);
ccw_head = dma32_to_u32(virt_to_dma32(chain->ch_ccw));
(void *)(u64)dma32_to_u32(ch->ccw[1].cda),
(void *)(u64)dma32_to_u32(ch->ccw[1].cda),
u64 dma_area_addr = dma32_to_u32(vcdev->dma_area_addr);
u64 dma_area_addr = dma32_to_u32(vcdev->dma_area_addr);