osfmk/kern/sched_prim.c

1870 				(SCHED(processor_queue_has_priority)(processor, rt_runq.count == 0 ? IDLEPRI : BASEPRI_RTQUEUES, TRUE) &&
2011 	processor->current_pri = IDLEPRI;
2153 					if (pri != IDLEPRI)
2898 	rq->highq = IDLEPRI;
2901 	setbit(MAXPRI - IDLEPRI, rq->bitmap);
3019 		if (rq->highq != IDLEPRI)
3089 		if (thread->sched_pri != IDLEPRI)
4076 					if (pri != IDLEPRI)
4421 					if (pri != IDLEPRI)
4638 			processor->current_pri = IDLEPRI;
4670 		processor->current_pri = IDLEPRI;
4684 			processor->current_pri = IDLEPRI;
4749 	thread->sched_pri = thread->priority = IDLEPRI;