Searched refs:thread_get_inheritor_turnstile_sched_priority (Results 1 – 3 of 3) sorted by relevance
622 thread_get_inheritor_turnstile_sched_priority(thread_t thread);
1941 thread_get_inheritor_turnstile_sched_priority(thread_t thread) in thread_get_inheritor_turnstile_sched_priority() function
3030 uint8_t kern_promotion_schedpri = (uint8_t)thread_get_inheritor_turnstile_sched_priority(thread); in thread_recompute_kernel_promotion_locked()