get_mplock_count
kl->kl_mpcount = get_mplock_count(lwp->lwp_thread);
kp->kp_lwp.kl_mpcount = get_mplock_count(td);
KKASSERT(get_mplock_count(curthread) == 1);