727 	kthread_t	*tp;  in disp()  local
1023 search_disp_queues(disp_t *dp, kthread_t *tp)  in search_disp_queues()
1052 thread_on_queue(kthread_t *tp)  in thread_on_queue()
1082 #define	thread_on_queue(tp)	0	/* ASSERT must be !thread_on_queue */  argument
1199 setbackdq(kthread_t *tp)  in setbackdq()
1384 setfrontdq(kthread_t *tp)  in setfrontdq()
1530 setkpdq(kthread_t *tp, int borf)  in setkpdq()
1604 dispdeq(kthread_t *tp)  in dispdeq()
1725 disp_swapped_enq(kthread_t *tp)  in disp_swapped_enq()
1757 disp_swapped_setrun(kthread_t *tp)  in disp_swapped_setrun()
1794 cpu_surrender(kthread_t *tp)  in cpu_surrender()
1850 disp_ratify(kthread_t *tp, disp_t *kpq)  in disp_ratify()
1900 	kthread_t	*tp;  in disp_getwork()  local
2082 	kthread_t	*tp;  in disp_fix_unbound_pri()  local
2146 disp_adjust_unbound_pri(kthread_t *tp)  in disp_adjust_unbound_pri()
2183 	kthread_t	*tp;  in disp_getbest()  local
2411 	kthread_t	*tp;  in disp_bound_common()  local
2503 	kthread_t	*tp;  in disp_cpu_inactive()  local
2567 cpu_score(cpu_t *cp, kthread_t *tp)  in cpu_score()
2608 disp_lowpri_cpu(cpu_t *hint, kthread_t *tp, pri_t tpri)  in disp_lowpri_cpu()