maxpri             96 sys/kern/sched.c static int		maxpri;		/* highest priority in runq */
maxpri            122 sys/kern/sched.c 	if (t->priority < maxpri) {
maxpri            123 sys/kern/sched.c 		maxpri = t->priority;
maxpri            137 sys/kern/sched.c 	if (t->priority < maxpri)
maxpri            138 sys/kern/sched.c 		maxpri = t->priority;
maxpri            151 sys/kern/sched.c 	q = dequeue(&runq[maxpri]);
maxpri            153 sys/kern/sched.c 	if (queue_empty(&runq[maxpri]))
maxpri            154 sys/kern/sched.c 		maxpri = runq_getbest();
maxpri            167 sys/kern/sched.c 	maxpri = runq_getbest();
maxpri            224 sys/kern/sched.c 		if (prev->priority > maxpri)
maxpri            592 sys/kern/sched.c 		maxpri = runq_getbest();
maxpri            593 sys/kern/sched.c 		if (pri != maxpri)
maxpri            725 sys/kern/sched.c 	maxpri = PRI_IDLE;
maxpri            471 sys/sync/mutex.c 	int maxpri;
maxpri            479 sys/sync/mutex.c 	maxpri = t->basepri;
maxpri            489 sys/sync/mutex.c 		if (m->priority < maxpri)
maxpri            490 sys/sync/mutex.c 			maxpri = m->priority;
maxpri            493 sys/sync/mutex.c 	sched_setpri(t, t->basepri, maxpri);