lwp_locked
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, spc->spc_lwplock));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL) || l->l_stat == LSIDL);
KASSERT(lwp_locked(t, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, l->l_cpu->ci_schedstate.spc_mutex));
KASSERT(lwp_locked(l, spc->spc_mutex));
KASSERT(lwp_locked(l, ci->ci_schedstate.spc_mutex));
KASSERT(lwp_locked(__UNCONST(l), NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, mp));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, spc->spc_mutex));
KASSERT(lwp_locked(l, spc->spc_lwplock));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, spc->spc_mutex));
KASSERT(lwp_locked(l, spc->spc_lwplock));
KASSERT(lwp_locked(l, l->l_cpu->ci_schedstate.spc_lwplock));
KASSERT(lwp_locked(l, l->l_cpu->ci_schedstate.spc_lwplock));
KASSERT(lwp_locked(newl, spc->spc_mutex));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, spc->spc_lwplock));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, l->l_cpu->ci_schedstate.spc_lwplock));
KASSERT(lwp_locked(l, l->l_cpu->ci_schedstate.spc_lwplock));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(l, NULL));
KASSERT(lwp_locked(t, NULL));
int lwp_locked(lwp_t *, kmutex_t *);