Fix printf specifier to allow 32/64 bit builds.

Obtained from:	projects/ppc64
This commit is contained in:
grehan 2010-07-12 21:09:55 +00:00
parent b18b82b9f3
commit 0c373eb9d4

View File

@ -472,7 +472,7 @@ grackle_activate_resource(device_t bus, device_t child, int type, int rid,
start += sc->sc_iostart;
if (bootverbose)
printf("grackle mapdev: start %x, len %ld\n", start,
printf("grackle mapdev: start %zx, len %ld\n", start,
rman_get_size(res));
p = pmap_mapdev(start, (vm_size_t)rman_get_size(res));