Fix x86_64 build by casting some {u,}intmax_t's for printing.
authorSascha Wildner <saw@online.de>
Mon, 2 Aug 2010 21:03:18 +0000 (23:03 +0200)
committerSascha Wildner <saw@online.de>
Mon, 2 Aug 2010 21:03:36 +0000 (23:03 +0200)
commitc9a1a153b049688c31b9db45f73c288c78a1eb9c
tree18345a525cc1193e496a6b2f2291e82ca9a1174e
parent0fdbc4f1ffc649f55cb02ba8689ebaa1cb6166de
Fix x86_64 build by casting some {u,}intmax_t's for printing.
sys/kern/sys_generic.c