K 10 svn:author V 5 benno K 8 svn:date V 27 2002-06-29T09:45:59.000000Z K 7 svn:log V 35 Add pmap_mapdev and pmap_unmapdev. END