Fix the x86_64 kernel build with 'options BUS_DEBUG'.
authorSascha Wildner <saw@online.de>
Fri, 14 May 2010 23:07:03 +0000 (01:07 +0200)
committerSascha Wildner <saw@online.de>
Fri, 14 May 2010 23:07:32 +0000 (01:07 +0200)
Reported-by: Thomas Klausner <wiz@netbsd.org>
sys/kern/subr_bus.c

index 2592977..4c21db9 100644 (file)
@@ -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));
 }