thread_unlock_nopreempt
thread_unlock_nopreempt(tp);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t); /* clock thread can't be preempted */
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t); /* clock thread can't be preempted */
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t); /* clock thread can't be preempted */
thread_unlock_nopreempt(curthread); /* unlock the waiters field */
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(tp);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(tp);
thread_unlock_nopreempt(curthread);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);
thread_unlock_nopreempt(t);