Changes in kernel/generic/include/proc/scheduler.h [31e15be:6a0e568] in mainline

File:

• kernel/generic/include/proc/scheduler.h (modified) (2 diffs)

kernel/generic/include/proc/scheduler.h

@@ -41 +41 @@
 #include <atomic.h>
 #include <adt/list.h>
+#include <abi/proc/thread.h>
 
 #define RQ_COUNT          16
@@ -56 +57 @@
 
 extern void scheduler_fpu_lazy_request(void);
-extern void scheduler(void);
 extern void kcpulb(void *arg);
 
 extern void sched_print_list(void);
+
+extern void scheduler_run(void) __attribute__((noreturn));
+extern void scheduler_enter(state_t);
+
+extern void thread_main_func(void);
 
 /*