K 10 svn:author V 5 dyson K 8 svn:date V 27 1996-10-12T21:35:25.000000Z K 7 svn:log V 361 Performance optimizations. One of which was meant to go in before the previous snap. Specifically, kern_exit and kern_exec now makes a call into the pmap module to do a very fast removal of pages from the address space. Additionally, the pmap module now updates the PG_MAPPED and PG_WRITABLE flags. This is an optional optimization, but helpful on the X86. END