K 10 svn:author V 3 alc K 8 svn:date V 27 2016-09-03T03:14:24.197215Z K 7 svn:log V 386 As an optimization to the machine-independent layer, change the machine- dependent pmap_ts_referenced() so that it updates the page's dirty field if a modified bit is found while counting reference bits. This opportunistic update can be performed at low cost and can eliminate the need for some future calls to pmap_is_modified() by the machine- independent layer. MFC after: 3 weeks END