{
sigmask_t result;
cpuflags_t flags;
- extern int preempt_forbid_cnt;
/* Sleeping with IRQs disabled or preemption forbidden is illegal */
IRQ_ASSERT_ENABLED();
+
+ #if CONFIG_KERN_PREEMPT
ASSERT(preempt_forbid_cnt == 0);
+ #endif
/*
* This is subtle: there's a race condition where a concurrent
CurrentProcess->sig_wait = sigs;
/*
- * Go to sleep and proc_schedule() another process.
+ * Go to sleep and proc_switch() to another process.
*
- * We re-enable IRQs because proc_schedule() does not
+ * We re-enable IRQs because proc_switch() does not
* guarantee to save and restore the interrupt mask.
*/
IRQ_RESTORE(flags);
- proc_schedule();
+ proc_switch();
IRQ_SAVE_DISABLE(flags);
/*