K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2010-11-16T05:06:20.334578Z
K 7
svn:log
V 158
MFC r214938
  Eliminate a possible race between pmap_pinit() and pmap_kenter_pde() on
  superpage promotion or demotion.

  Micro-optimize pmap_kenter_pde().

END