[3/4] hw/sh_serial: Use PRIxPLX rather than %x for physaddr

Submitted by Peter Maydell on June 25, 2012, 12:45 p.m.

Details

Message ID 1340628316-26267-4-git-send-email-peter.maydell@linaro.org
State New
Headers show

Commit Message

Peter Maydell June 25, 2012, 12:45 p.m.
Switch a format string from %x to PRIxPLX so that it will
continue to work even if target_phys_addr_t is changed
to 64 bits in the future.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
---
 hw/sh_serial.c |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

Patch hide | download patch | download mbox

diff --git a/hw/sh_serial.c b/hw/sh_serial.c
index 43b0eb1..6f89696 100644
--- a/hw/sh_serial.c
+++ b/hw/sh_serial.c
@@ -186,7 +186,7 @@  static void sh_serial_write(void *opaque, target_phys_addr_t offs,
         }
     }
 
-    fprintf(stderr, "sh_serial: unsupported write to 0x%02x\n", offs);
+    fprintf(stderr, "sh_serial: unsupported write to 0x%02" PRIxPLX "\n", offs);
     abort();
 }
 
@@ -287,7 +287,8 @@  static uint64_t sh_serial_read(void *opaque, target_phys_addr_t offs,
 #endif
 
     if (ret & ~((1 << 16) - 1)) {
-        fprintf(stderr, "sh_serial: unsupported read from 0x%02x\n", offs);
+        fprintf(stderr,
+                "sh_serial: unsupported read from 0x%02" PRIxPLX "\n", offs);
         abort();
     }