K 10 svn:author V 3 imp K 8 svn:date V 27 2008-01-03T06:35:04.000000Z K 7 svn:log V 65 Fix obsolete comment. pmap_remove_all is the function we're in. END