thread_unlock_high
thread_unlock_high(tp); /* drop runq lock */
thread_unlock_high(tp); /* drop runq lock */
thread_unlock_high(inheritor);
thread_unlock_high(owner);
thread_unlock_high(t);
thread_unlock_high(t);
thread_unlock_high(t);
thread_unlock_high(t); /* drop run queue lock */
thread_unlock_high(tp); /* release run queue lock */
thread_unlock_high(tp);