K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2009-02-12T01:10:53.224354Z
K 7
svn:log
V 159
pmap_kenrel() was recently deleted from pmap.h.  It was still used
here, but inconsistently.  Change all instances of it to kernel_pmap
to match rest of code.

END