Fix the x86_64 kernel build with 'options BUS_DEBUG'.

Reported-by: Thomas Klausner <wiz@netbsd.org>

diff --git a/sys/kern/subr_bus.c b/sys/kern/subr_bus.c
index 2592977..4c21db9 100644 (file)
--- a/sys/kern/subr_bus.c
+++ b/sys/kern/subr_bus.c
@@ -3165,7 +3165,7 @@ print_driver_short(driver_t *driver, int indent)
        if (!driver)
                return;
 
-       indentprintf(("driver %s: softc size = %d\n",
+       indentprintf(("driver %s: softc size = %zu\n",
                      driver->name, driver->size));
 }