K 10 svn:author V 3 alc K 8 svn:date V 27 2004-05-09T19:09:14.000000Z K 7 svn:log V 126 Correct the implementation of pmap_page_is_mapped(): It should return TRUE only if the page has one or more managed mappings. END