K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2003-08-23T03:22:41.000000Z
K 7
svn:log
V 157
Remove PAGE_SIZE_4K, PAGE_SIZE_8K and PAGE_SIZE_16K and replace
them with PAGE_SHIFT. A single option is better to LINT than
multiple mutual exclusive ones.

END