K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2009-04-25T02:59:06.500093Z
K 7
svn:log
V 385
Eliminate unnecessary calls to pmap_clear_modify().  Specifically, calling
pmap_clear_modify() on a page is pointless if that page is not mapped or
it is only mapped for read access.  Instead, assert that the page is not
mapped or not mapped for write access as appropriate.

Eliminate unnecessary clearing of a page's dirty mask.  Instead, assert
that the page's dirty mask is clear.

END