Changes in kernel/generic/include/proc/scheduler.h [174156fd: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
@@ -52 +53 @@
 } runq_t;
 
-extern atomic_t nrdy;
+extern atomic_size_t nrdy;
 extern void scheduler_init(void);
 
 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);
 
 /*