K 10 svn:author V 6 obrien K 8 svn:date V 27 2007-10-04T18:27:45.000000Z K 7 svn:log V 189 MFC: Use uintmax_t to pass around 64-bit quantities, including to printf(). Using uintmax_t is also robust to further extensions in both the C language and the bitwidth of kernel counters. END