K 10 svn:author V 3 bde K 8 svn:date V 27 1997-03-13T18:09:38.000000Z K 7 svn:log V 62 YAMFC (1.30: wrapped mi_switch() with splstatclock()/splx()). END