K 10 svn:author V 3 alc K 8 svn:date V 27 2002-08-08T19:12:36.000000Z K 7 svn:log V 197 o Use pmap_page_is_mapped() in vm_page_protect() rather than the PG_MAPPED flag. (This is the only place in the entire kernel where the PG_MAPPED flag is tested. It will be removed soon.) END