vfio: Fix debug output for int128 values
authorAlexey Kardashevskiy <aik@ozlabs.ru>
Thu, 3 Oct 2013 15:10:09 +0000 (09:10 -0600)
committerAlex Williamson <alex.williamson@redhat.com>
Thu, 3 Oct 2013 15:10:09 +0000 (09:10 -0600)
commit1d5bf692e55ae22b59083741d521e27db704846d
tree9e0d2ed9ea3f63dacee832973b7aca99f6e00387
parentf16f39c3fc973c5d7cbc2224eefb4ef5eb1e64ff
vfio: Fix debug output for int128 values

Memory regions can easily be 2^64 byte long and therefore overflow
for just a bit but that is enough for int128_get64() to assert.

This takes care of debug printing of huge section sizes.

Signed-off-by: Alexey Kardashevskiy <aik@ozlabs.ru>
Signed-off-by: Alex Williamson <alex.williamson@redhat.com>
hw/misc/vfio.c