K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2019-09-19T20:45:23.610640Z
K 7
svn:log
V 209
MF r349585
  Tidy up pmap_copy().  Notably, deindent the innermost loop by making a
  simple change to the control flow.  Replace an unnecessary test by a
  KASSERT.  Add a comment explaining an obscure test.

END