THREAD_LOCK_HELD
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(curthread));
ASSERT(THREAD_LOCK_HELD(t)); /* t should be in transition */
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(curthread));
ASSERT(THREAD_LOCK_HELD(t)); /* t should be in transition */
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t)); /* t should be in transition */
ASSERT(THREAD_LOCK_HELD(t)); /* t should be in transition */
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(curthread));
ASSERT(THREAD_LOCK_HELD(t)); /* t should be in transition */
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(tp));
THREAD_LOCK_HELD(t));
THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(t == curthread || THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(tp));
ASSERT(THREAD_LOCK_HELD(curthread)); \
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t)); /* holding the lock on the sleepq */
ASSERT(THREAD_LOCK_HELD(t)); /* thread locked via sleepq */
ASSERT(THREAD_LOCK_HELD(t)); /* thread locked via sleepq */
ASSERT(THREAD_LOCK_HELD(inheritor));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));
(MUTEX_HELD(&ttoproc(t)->p_lock) && THREAD_LOCK_HELD(t)));
ASSERT(THREAD_LOCK_HELD(t));
ASSERT(THREAD_LOCK_HELD(t));