K 10 svn:author V 3 bde K 8 svn:date V 27 2004-05-19T16:19:11.000000Z K 7 svn:log V 157 Fixed the type of fptrdiff_t. It needs to be 64 bits in theory, and in practice too since kernel addresses are almost 2^64 higher than most user addresses. END