K 10
svn:author
V 5
peter
K 8
svn:date
V 27
2003-10-03T14:33:00.000000Z
K 7
svn:log
V 70
Add #include "opt_pmap.h" so locore picks up DISABLE_PSE etc options.

END