K 10 svn:author V 3 alc K 8 svn:date V 27 2009-06-24T04:45:03.259006Z K 7 svn:log V 279 The bits set in a page's dirty mask are a subset of the bits set in its valid mask. Consequently, there is no need to perform a bit-wise and of the page's dirty and valid masks in order to determine which parts of a page are dirty and valid. Eliminate an unnecessary #include. END