K 10 svn:author V 6 marcel K 8 svn:date V 27 2003-05-16T07:57:44.000000Z K 7 svn:log V 232 o In pmap_install, don't prevent switching the pmap if we're switching to kernel_pmap. The pmap is not special enough. o Clear the active bit on the pmap we're switching out. o Fix some nearby style(9) bugs. Approved by: re@ END