K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2000-09-14T22:17:34.000000Z
K 7
svn:log
V 70
Grab the scheduler lock before calling setrunqueue() and mi_switch().

END