K 10 svn:author V 3 alc K 8 svn:date V 27 2008-04-04T19:14:58.000000Z K 7 svn:log V 41 Update a comment to vm_map_pmap_enter(). END