summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
b0033f3)
#endif // !CONFIG_KERN_PRI
#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));
#if CONFIG_KERN_PREEMPT
void proc_entry(void (*user_entry)(void));
* be locked for us.
*/
proc_permit();
* be locked for us.
*/
proc_permit();
CurrentProcess->sig_wait = sigs;
/*
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);
* guarantee to save and restore the interrupt mask.
*/
IRQ_RESTORE(flags);
IRQ_SAVE_DISABLE(flags);
/*
IRQ_SAVE_DISABLE(flags);
/*