K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2011-12-04T06:55:27.627950Z
K 7
svn:log
V 61
MFC r214563,214576
  Add safety belts to pmap_demote_DMAP().

END