K 10 svn:author V 5 benno K 8 svn:date V 27 2002-02-28T11:55:44.000000Z K 7 svn:log V 94 - Modify pmap_activate so it only marks the pmap as active. - Add a pmap_deactivate function. END