Changes in kernel/generic/include/proc/scheduler.h [151c050:111b9b9] 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
@@ -57 +56 @@
 
 extern void scheduler_fpu_lazy_request(void);
+extern void scheduler(void);
+extern void scheduler_locked(ipl_t);
 extern void kcpulb(void *arg);
 
 extern void sched_print_list(void);
-
-extern void scheduler_run(void) __attribute__((noreturn));
-extern void scheduler_enter(state_t);
 
 /*