diff options
| -rw-r--r-- | kern/sched_prim.c | 10 | ||||
| -rw-r--r-- | kern/sched_prim.h | 9 |
2 files changed, 9 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 * diff --git a/kern/sched_prim.h b/kern/sched_prim.h index e08f5703..b7ecba7f 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_ */ |