diff options
Diffstat (limited to 'kern/machine.c')
| -rw-r--r-- | kern/machine.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/kern/machine.c b/kern/machine.c index f757d146..a350fad4 100644 --- a/kern/machine.c +++ b/kern/machine.c @@ -176,7 +176,8 @@ processor_request_action( * get at processor state. */ pset = processor->processor_set; - simple_lock(&pset->idle_lock); + assert_splsched(); + simple_lock_nocheck(&pset->idle_lock); /* * If the processor is dispatching, let it finish - it will set its @@ -228,7 +229,8 @@ processor_request_action( panic("processor_request_action: bad state"); } simple_unlock(&action_lock); - simple_unlock(&pset->idle_lock); + assert_splsched(); + simple_unlock_nocheck(&pset->idle_lock); thread_wakeup((event_t)&action_queue); } |