K 10
svn:author
V 5
dyson
K 8
svn:date
V 27
1996-05-29T05:09:07.000000Z
K 7
svn:log
V 130
The wrong address (pindex) was being used for the page table directory.  No
negative side effects right now, but just a clean-up.

END