156 static kthread_t	*disp_ratify(kthread_t *tp, disp_t *kpq);
624 					disp_t *kpq;  in idle()  local
631 					kpq = &cp->cpu_part->cp_kp_queue;  in idle()
632 					if (kpq->disp_maxrunpri == -1)  in idle()
711 	disp_t		*kpq;  in disp()  local
726 	kpq = &cpup->cpu_part->cp_kp_queue;  in disp()
727 	while ((pri = kpq->disp_maxrunpri) >= 0 &&  in disp()
730 	    (tp = disp_getbest(kpq)) != NULL) {  in disp()
731 		if (disp_ratify(tp, kpq) != NULL) {  in disp()
834 	if (disp_ratify(tp, kpq) == NULL)  in disp()
1852 disp_ratify(kthread_t *tp, disp_t *kpq)  in disp_ratify()  argument
1872 	maxkpri = kpq->disp_maxrunpri;  in disp_ratify()
1905 	disp_t		*kpq;		/* kp queue for this partition */  in disp_getwork()  local
1914 	kpq = &cp->cpu_part->cp_kp_queue;  in disp_getwork()
1915 	while (kpq->disp_maxrunpri >= 0) {  in disp_getwork()
1919 		tp = (disp_getbest(kpq));  in disp_getwork()
1921 			return (disp_ratify(tp, kpq));  in disp_getwork()
2063 		return (disp_ratify(tp, kpq));  in disp_getwork()