thread_lock_high
thread_lock_high(tp);
thread_lock_high(t);
thread_lock_high(curthread);
thread_lock_high(t);
thread_lock_high(inheritor);
thread_lock_high(t);
thread_lock_high(t);
thread_lock_high(t);
void thread_lock_high(kthread_t *); /* lock thread and its queue */