K 10 svn:author V 3 alc K 8 svn:date V 27 2012-03-18T17:41:54.819353Z K 7 svn:log V 48 Style fix to pmap_protect(). Submitted by: bde END