diff options
Diffstat (limited to 'kern/sched_prim.c')
| -rw-r--r-- | kern/sched_prim.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/kern/sched_prim.c b/kern/sched_prim.c index 29467011..c06cd770 100644 --- a/kern/sched_prim.c +++ b/kern/sched_prim.c @@ -70,18 +70,8 @@ int sched_usec; thread_t sched_thread_id; -void set_pri(thread_t, int, boolean_t); -void do_thread_scan(void); - -thread_t choose_pset_thread(); - timer_elt_data_t recompute_priorities_timer; -#if DEBUG -void checkrq(run_queue_t, char *); -void thread_check(thread_t, run_queue_t); -#endif - /* * State machine * |