#include <sys/sched.h>void
sched_rqinit(void);
void
sched_setup(void);
void
sched_cpuattach(struct cpu_info *);
void
sched_tick(struct cpu_info *);
void
sched_schedclock(lwp_t *);
bool
sched_curcpu_runnable_p(void);
lwp_t *
sched_nextlwp(void);
void
sched_enqueue(lwp_t *, bool);
void
sched_dequeue(lwp_t *);
void
sched_nice(struct proc *, int);
void
sched_proc_fork(struct proc *, struct proc *);
void
sched_proc_exit(struct proc *, struct proc *);
void
sched_lwp_fork(lwp_t *);
void
sched_lwp_exit(lwp_t *);
void
sched_setrunnable(lwp_t *);
void
sched_print_runqueue(void (*pr)(const char *, ...));
void
sched_pstats_hook(struct proc *, int);
void
sched_pstats(void *arg);
pri_t
sched_kpri(lwp_t *);
void
resched_cpu(lwp_t *);
void
setrunnable();
void
schedclock(lwp_t *);
void
sched_init(void);