K 10 svn:author V 5 dyson K 8 svn:date V 27 1996-11-28T23:15:07.000000Z K 7 svn:log V 138 Make the kernel smaller with at worst a neutral effect on perf by de-inlining some VM calls. (Actually, I measured a small improvement.) END