1054 	uint i;  in start_threads()
1102 	uint i, j;  in wait_for_waiters()
1142 	uint i, j;  in exclude_current_waiter()
1487 	uint my_pri = current_thread()->sched_pri;  in thread_inheritor_like_mutex()
1538 	uint my_pri = current_thread()->sched_pri;  in thread_just_inheritor_do_work()
1539 	uint max_pri;  in thread_just_inheritor_do_work()
1554 …T_ASSERT((uint) current_thread()->sched_pri == max_pri, "sleep_inheritor inheritor priority curren…  in thread_just_inheritor_do_work()
1578 	uint my_pri = current_thread()->sched_pri;  in thread_steal_work()
1612 …T_ASSERT((uint) current_thread()->sched_pri == info->steal_pri, "sleep_inheritor inheritor priorit…  in thread_steal_work()
1639 	uint my_pri = current_thread()->sched_pri;  in thread_no_inheritor_work()
1666 	uint my_pri = current_thread()->sched_pri;  in thread_mtx_work()
1670 	uint max_pri;  in thread_mtx_work()
1685 …T_ASSERT((uint) current_thread()->sched_pri == max_pri, "sleep_inheritor inheritor priority curren…  in thread_mtx_work()
1731 …T_ASSERT((uint) current_thread()->sched_pri == max_pri, "sleep_inheritor inheritor priority curren…  in thread_mtx_work()
1766 	uint my_pri = current_thread()->sched_pri;  in thread_rw_work()
1771 	uint max_pri;  in thread_rw_work()
1791 …T_ASSERT((uint) current_thread()->sched_pri == max_pri, "sleep_inheritor inheritor priority curren…  in thread_rw_work()
2582 	uint my_pri = current_thread()->sched_pri;  in thread_gate_aggressive()
2615 …T_ASSERT((uint) current_thread()->sched_pri == info->steal_pri, "gate keeper priority current is %…  in thread_gate_aggressive()
2642 	uint my_pri = current_thread()->sched_pri;  in thread_gate_free()
2679 	uint my_pri = current_thread()->sched_pri;  in thread_gate_like_mutex()
2726 	uint my_pri = current_thread()->sched_pri;  in thread_just_one_do_work()
2727 	uint max_pri;  in thread_just_one_do_work()
2742 …T_ASSERT((uint) current_thread()->sched_pri == max_pri, "gate owner priority current is %d, should…  in thread_just_one_do_work()
2924 	uint my_pri = self->sched_pri;  in thread_sleep_gate_chain_work()
2925 	uint max_pri;  in thread_sleep_gate_chain_work()
2926 	uint i;  in thread_sleep_gate_chain_work()
2960 …T_ASSERT((uint) self->sched_pri == max_pri, "sleep_inheritor inheritor priority current is %d, sho…  in thread_sleep_gate_chain_work()
2983 …T_ASSERT((uint) self->sched_pri == max_pri, "sleep_inheritor inheritor priority current is %d, sho…  in thread_sleep_gate_chain_work()
2999 …T_ASSERT((uint) self->sched_pri == max_pri, "sleep_inheritor inheritor priority current is %d, sho…  in thread_sleep_gate_chain_work()
3020 	uint my_pri = self->sched_pri;  in thread_gate_chain_work()
3021 	uint max_pri;  in thread_gate_chain_work()
3022 	uint i;  in thread_gate_chain_work()
3053 …T_ASSERT((uint) self->sched_pri == max_pri, "sleep_inheritor inheritor priority current is %d, sho…  in thread_gate_chain_work()
3063 …T_ASSERT((uint) self->sched_pri == max_pri, "sleep_inheritor inheritor priority current is %d, sho…  in thread_gate_chain_work()
3083 	uint my_pri = self->sched_pri;  in thread_sleep_chain_work()
3084 	uint max_pri;  in thread_sleep_chain_work()
3086 	uint i;  in thread_sleep_chain_work()
3106 …T_ASSERT((uint) self->sched_pri == max_pri, "sleep_inheritor inheritor priority current is %d, sho…  in thread_sleep_chain_work()
3133 …T_ASSERT((uint) self->sched_pri == max_pri, "sleep_inheritor inheritor priority current is %d, sho…  in thread_sleep_chain_work()