#include <struct/list.h>
-#if CONFIG_KERN_PREEMPTIVE
+#if CONFIG_KERN_PREEMPT
#include <ucontext.h> // XXX
#endif
size_t stack_size; /**< Size of process stack */
#endif
-#if CONFIG_KERN_PREEMPTIVE
+#if CONFIG_KERN_PREEMPT
ucontext_t context;
#endif
#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));