K 10 svn:author V 3 alc K 8 svn:date V 27 2007-02-21T06:00:46.000000Z K 7 svn:log V 106 Change pmap_protect() so that execute access can be removed without simultaneously removing write access. END