I made a couple of small patches while debugging VFIO on SPAPR which uses IOMMU MemoryRegion 2^64 bytes long.
Changes: v2: * added int128_exts64() function as a separate patch and used in "vfio: Fix 128 bit handling". Alexey Kardashevskiy (3): int128: add int128_exts64() vfio: Fix debug output for int128 values vfio: Fix 128 bit handling hw/misc/vfio.c | 19 +++++++++++++------ include/qemu/int128.h | 5 +++++ 2 files changed, 18 insertions(+), 6 deletions(-) -- 1.8.4.rc4