WITNESS_UNLOCK
WITNESS_UNLOCK(&mpl->mpl_lock_obj, LOP_EXCLUSIVE);
WITNESS_UNLOCK(&mpl->mpl_lock_obj, LOP_EXCLUSIVE);
WITNESS_UNLOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_UNLOCK(&mpl->mpl_lock_obj, LOP_EXCLUSIVE);
WITNESS_UNLOCK(&mpl->mpl_lock_obj, LOP_EXCLUSIVE);
WITNESS_UNLOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_UNLOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_UNLOCK(&rwl->rwl_lock_obj, 0);
WITNESS_UNLOCK(&rwl->rwl_lock_obj, LOP_EXCLUSIVE);
WITNESS_UNLOCK(&rrwl->rrwl_lock.rwl_lock_obj,
WITNESS_UNLOCK(&smr_lock_obj, 0);
WITNESS_UNLOCK(&tq->tq_lock_object, 0);
WITNESS_UNLOCK(TIMEOUT_LOCK_OBJ(needsproc), 0);