runq_getbest      154 sys/kern/sched.c 		maxpri = runq_getbest();
runq_getbest      167 sys/kern/sched.c 	maxpri = runq_getbest();
runq_getbest      592 sys/kern/sched.c 		maxpri = runq_getbest();