diff --git a/hw/sun4u.c b/hw/sun4u.c
index 5cd67ee8bca10141a44fdc9e4a8d42cdbfcc5bde..fb6e6a78e1f197af124a178ccf857115e68209c5 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);