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