K 10
svn:author
V 8
jmallett
K 8
svn:date
V 27
2010-04-14T06:56:48.239218Z
K 7
svn:log
V 483
o) Add an invariant to pmap_kenter that the previous mapping is invalid or
   identical to the new mapping.  Something is leaving a mapping valid or doing
   a double pmap_kenter (well, pmap_qenter) but I don't know what, but it's
   identical to the previous one, so I assume it's the latter (like was in the
   sfbuf code that I just removed.)
o) Given that invariant, neither invalidate nor update the TLB in pmap_kenter,
   since it should have been invalidated in pmap_kremove.

END