From ac4fc1145bebd03acbac20dabb41bf3466b39e6c Mon Sep 17 00:00:00 2001 From: Riccardo Magliocchetti Date: Wed, 19 May 2010 18:49:30 +0200 Subject: [PATCH] Fix hw/gt64xxx.c compilation with DEBUG defined Use TARGET_FMT_plx as format placeholder for target_phys_addr_t Signed-off-by: Riccardo Magliocchetti Signed-off-by: Aurelien Jarno --- hw/gt64xxx.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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@%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; -- 2.7.4