Use TARGET_FMT_plx as format placeholder for target_phys_addr_t
Signed-off-by: Riccardo Magliocchetti <riccardo.magliocche...@gmail.com>
---
hw/gt64xxx.c | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/hw/gt64xxx.c b/hw/gt64xxx.c
index 55971b9..7691e1d 100644
--- a/hw/gt64xxx.c
+++ b/hw/gt64xxx.c
@@ -276,7 +276,7 @@ static void gt64120_isd_mapping(GT64120State *s)
check_reserved_space(&start, &length);
length = 0x1000;
/* Map new address */
- DPRINTF("ISD: %...@%x -> %...@%x, %x\n", s->ISD_length, s->ISD_start,
+ DPRINTF("ISD: "TARGET_FMT_plx"@"TARGET_FMT_plx" ->
"TARGET_FMT_plx"@"TARGET_FMT_plx", %x\n", s->ISD_length, s->ISD_start,
length, start, s->ISD_handle);
s->ISD_start = start;
s->ISD_length = length;
--
1.7.1
