K 10 svn:author V 3 jhb K 8 svn:date V 27 2000-11-18T00:21:00.000000Z K 7 svn:log V 246 Release sched_lock very briefly to give interrupts a chance to fire if we are in softclock() for a long time. The old code already did an splx()/slphigh() pair here, I just missed adding in the equivalent mutex operations on sched_lock earlier. END