K 10 svn:author V 3 jhb K 8 svn:date V 27 2002-01-04T10:55:51.000000Z K 7 svn:log V 98 Axe a stale comment. Holding sched_lock across both setrunqueue() and mi_switch() is sufficient. END