ioemu: Fix hvmloader erroneous debugging prints

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/tools/ioemu/hw/pc.c b/tools/ioemu/hw/pc.c
index fdffbbccf02479a70dda422bd2aef90a00afa59b..fc25a4224e20d92c1e104e4e5c5f2bc6ba990d23 100644 (file)
--- a/tools/ioemu/hw/pc.c
+++ b/tools/ioemu/hw/pc.c
@@ -591,9 +591,9 @@ static void load_linux(const char *kernel_filename,
             "qemu: real_addr     = %#zx\n"
             "qemu: cmdline_addr  = %#zx\n"
             "qemu: prot_addr     = %#zx\n",
-            real_addr,
-            cmdline_addr,
-            prot_addr);
+            (size_t)real_addr,
+            (size_t)cmdline_addr,
+            (size_t)prot_addr);
 
     /* highest address for loading the initrd */
     if (protocol >= 0x203)