diff options
| -rw-r--r-- | kern/sched_prim.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kern/sched_prim.c b/kern/sched_prim.c index 580ca438..0cef1601 100644 --- a/kern/sched_prim.c +++ b/kern/sched_prim.c @@ -446,6 +446,9 @@ void thread_wakeup_prim( * occurs. The specified lock is unlocked before releasing * the cpu. (This is a convenient way to sleep without manually * calling assert_wait). + * + * Note: if the event may be woken from an interrupt handler, this must be + * called at an spl level that prevents such interrupts. */ void thread_sleep( event_t event, |