K 10
svn:author
V 6
alfred
K 8
svn:date
V 27
2002-05-13T07:58:15.000000Z
K 7
svn:log
V 197
Don't use PAGE_SIZE in userland, instead use getpagesize(), this is to
allow running on other arches when the instructions are supported but
the page size granularity is not.

Glanced at by: peter

END