K 10 svn:author V 3 dfr K 8 svn:date V 27 2001-09-29T09:55:30.000000Z K 7 svn:log V 68 Use PAGE_SHIFT instead of a hardcoded constant for log2(PAGE_SIZE). END