We cannot cast directly from pointer to uint64.
Cc: Alex Williamson <alex.william...@redhat.com>
Cc: Alex Barcelo <abarc...@ac.upc.edu>
Reported-by: Alex Barcelo <abarc...@ac.upc.edu>
Signed-off-by: Anthony Liguori <aligu...@us.ibm.com>
---
hw/vfio_pci.c | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/hw/vfio_pci.c b/hw/vfio_pci.c
index a24558a..a1eeced 100644
--- a/hw/vfio_pci.c
+++ b/hw/vfio_pci.c
@@ -768,7 +768,7 @@ static int vfio_dma_map(VFIOContainer *container,
target_phys_addr_t iova,
struct vfio_iommu_type1_dma_map map = {
.argsz = sizeof(map),
.flags = VFIO_DMA_MAP_FLAG_READ,
- .vaddr = (__u64)vaddr,
+ .vaddr = (__u64)(intptr_t)vaddr,
.iova = iova,
.size = size,
};
--
1.7.5.4
