#endif // !CONFIG_KERN_PRI
-/** Schedule to another process *without* adding the current to the ready list. */
-void proc_schedule(void);
+/// Schedule another process *without* adding the current one to the ready list.
+void proc_switch(void);
#if CONFIG_KERN_PREEMPT
void proc_entry(void (*user_entry)(void));
* be locked for us.
*/
proc_permit();
- proc_schedule();
+ proc_switch();
}
else
{
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);
/*