K 10 svn:author V 6 jasone K 8 svn:date V 27 2008-09-10T14:27:34.856364Z K 7 svn:log V 126 Use PAGE_{SIZE,MASK,SHIFT} from machine/param.h rather than hard-coding page size and using sysconf(3). Suggested by: marcel END