K 10 svn:author V 7 davidxu K 8 svn:date V 27 2005-11-08T00:55:36.000000Z K 7 svn:log V 92 Merge cpu_swtch.S:1.154, machdep.c:1.642 from HEAD: Micro optimization for context switch. END