summaryrefslogtreecommitdiff
path: root/kern
diff options
context:
space:
mode:
Diffstat (limited to 'kern')
-rw-r--r--kern/sched_prim.c10
-rw-r--r--kern/sched_prim.h9
2 files changed, 9 insertions, 10 deletions
diff --git a/kern/sched_prim.c b/kern/sched_prim.c
index 2946701..c06cd77 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
*
diff --git a/kern/sched_prim.h b/kern/sched_prim.h
index e08f570..b7ecba7 100644
--- a/kern/sched_prim.h
+++ b/kern/sched_prim.h
@@ -172,4 +172,13 @@ extern void stack_free(
#define convert_ipc_timeout_to_ticks(millis) \
(((millis) * hz + 999) / 1000)
+void set_pri(thread_t th, int pri, boolean_t resched);
+void do_thread_scan(void);
+thread_t choose_pset_thread(processor_t myprocessor, processor_set_t pset);
+
+#if DEBUG
+void checkrq(run_queue_t rq, char *msg);
+void thread_check(thread_t th, run_queue_t rq);
+#endif /* DEBUG */
+
#endif /* _KERN_SCHED_PRIM_H_ */