diff options
-rw-r--r-- | sys/kern/kern_timeout.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/kern/kern_timeout.c b/sys/kern/kern_timeout.c index 831fbac..58619a7 100644 --- a/sys/kern/kern_timeout.c +++ b/sys/kern/kern_timeout.c @@ -107,8 +107,10 @@ softclock(void *dummy) if (steps >= MAX_SOFTCLOCK_STEPS) { nextsoftcheck = c; /* Give interrupts a chance. */ + mtx_exit(&sched_lock, MTX_SPIN); splx(s); s = splhigh(); + mtx_enter(&sched_lock, MTX_SPIN); c = nextsoftcheck; steps = 0; } |