K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2012-08-25T16:55:38.866850Z
K 7
svn:log
V 172
Retire PV_TABLE_MOD.  When we destroy or write protect a dirty mapping,
we call vm_page_dirty().  Maintaining the PV_TABLE_MOD flag, in addition,
serves no useful purpose.

END