Sparc64: fix compile with DEBUG_IRQ enabled

Signed-off-by: Blue Swirl <blauwirbel@gmail.com>

1 files changed, 2 insertions, 1 deletions

diff --git a/hw/sun4u.c b/hw/sun4u.c
index 5cd67ee8bc..fb6e6a78e1 100644
--- a/hw/sun4u.c
+++ b/hw/sun4u.c
@@ -347,7 +347,8 @@ void cpu_tick_set_limit(void *opaque, uint64_t limit)
 static void ebus_mmio_mapfunc(PCIDevice *pci_dev, int region_num,
                               pcibus_t addr, pcibus_t size, int type)
 {
-    DPRINTF("Mapping region %d registers at %08x\n", region_num, addr);
+    DPRINTF("Mapping region %d registers at %" FMT_PCIBUS "\n", region_num,
+            addr);
     switch (region_num) {
     case 0:
         isa_mmio_init(addr, 0x1000000);