kernel - Use intmax_t when printing memory amounts
commit361c5f227b7b5466f6d528d6965ed88b92187862
authorMatthew Dillon <dillon@apollo.backplane.com>
Fri, 5 Feb 2010 04:32:41 +0000 (4 20:32 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Fri, 5 Feb 2010 04:32:41 +0000 (4 20:32 -0800)
treeb171f1e20bd333a2d6f17184a51c19e7d2fc0ab3
parent15dc6550cc3e6aeea06688e6bfdd20db63e5e0bb
kernel - Use intmax_t when printing memory amounts

* Now that vm_pindex_t is 64 bits, fix various printf()s
sys/platform/pc64/x86_64/machdep.c
sys/platform/vkernel/i386/autoconf.c