Searched refs:tpri (Results 1 – 1 of 1) sorted by relevance
1741 int16_t tpri = cthread->sched_pri; in timer_compute_leeway() local1743 if (tpri >= BASEPRI_RTQUEUES || in timer_compute_leeway()1761 } else if (tpri >= MINPRI_KERNEL) { in timer_compute_leeway()