rw_lock_held
KASSERT(rw_lock_held(vp->v_uobj.vmobjlock));
KASSERT(rw_lock_held(vp->v_uobj.vmobjlock));
KASSERT(rw_lock_held(vp->v_uobj.vmobjlock));
KASSERT(rw_lock_held(vp->v_uobj.vmobjlock));
KASSERT(rw_lock_held(vp->v_uobj.vmobjlock));
KASSERT(rw_lock_held(vp->v_uobj.vmobjlock));
KASSERT(rw_lock_held(&kauth_lock));
KASSERT(rw_lock_held(&kqueue_filter_lock));
KASSERT(rw_lock_held(&kqueue_filter_lock));
KASSERT(rw_lock_held(&kqueue_filter_lock));
KASSERT(rw_lock_held(&kqueue_filter_lock));
KASSERT(no_local_exec_lock || rw_lock_held(&exec_lock));
KASSERT(rw_lock_held(&exec_lock));
KASSERT(rw_lock_held(&exec_lock));
KASSERT(rw_lock_held(&exec_lock));
KASSERT(rw_lock_held(&exec_lock));
RW_ASSERT(rw, rw_lock_held(rw));
KASSERT(rw_lock_held(&sysctl_treelock));
KASSERT(rw_lock_held(&sysctl_treelock));
KASSERT(rw_lock_held(&sysctl_treelock));
KASSERT(rw_lock_held(&sysctl_treelock));
KASSERT(rw_lock_held(&veriexec_op_lock));
KASSERT(rw_lock_held(&dvi->vi_nc_lock));
KASSERT(rw_lock_held(plock));
KASSERT(rw_lock_held(&wl->wl_rwlock));
|| rw_lock_held(&wl->wl_rwlock) || mutex_owned(&wl->wl_mtx));
KASSERT(rw_lock_held(uobj->vmobjlock));
KASSERT(rw_lock_held(vp->v_uobj.vmobjlock));
KASSERT(rw_lock_held((ifp)->if_afdata_lock))
#define LLTABLE_LOCK_ASSERT() KASSERT(rw_lock_held(&lltable_rwlock))
KASSERT(rw_lock_held(&in_multilock));
KASSERT(rw_lock_held(&in_multilock));
KASSERT(rw_lock_held(&in_multilock));
KASSERT(rw_lock_held(&in_multilock));
return rw_lock_held(&in_multilock);
KASSERT(rw_lock_held(&in6_multilock));
KASSERT(rw_lock_held(&in6_multilock));
return rw_lock_held(&in6_multilock);
#define ND6_ASSERT_LOCK() KASSERT(rw_lock_held(&nd6_lock))
return rw_lock_held(pg->uobject->vmobjlock);
KASSERT(rw_lock_held(lock));
KASSERT(rw_lock_held(&secmodels_lock));
int rw_lock_held(krwlock_t *);
KASSERT(rw_lock_held(amap->am_lock));
KASSERT(rw_lock_held(amap->am_lock));
KASSERT(rw_lock_held(anon->an_lock));
KASSERT(rw_lock_held(uobj->vmobjlock));
KASSERT(rw_lock_held(anons[lcv]->an_lock));
KASSERT(rw_lock_held(anon->an_lock));
KASSERT(rw_lock_held(opg->uobject->vmobjlock));
KASSERT(uobj == NULL || rw_lock_held(uobj->vmobjlock));
KASSERT(rw_lock_held(&map->lock));
KASSERT(rw_lock_held(&map->lock));
KASSERT(rw_lock_held(uobj->vmobjlock));
KASSERT(rw_lock_held(uobj->vmobjlock));
KASSERT(rw_lock_held(lock));
KASSERT(db_active || rw_lock_held(obj->vmobjlock));
: rw_lock_held(pg->uobject->vmobjlock);
: rw_lock_held(pg->uanon->an_lock);
KASSERT(uobj == NULL || rw_lock_held(uobj->vmobjlock));
KASSERT(uobj != NULL || rw_lock_held(pg->uanon->an_lock));
KASSERT(rw_lock_held(uobj->vmobjlock));
KASSERT(rw_lock_held(&swap_syscall_lock));
KASSERT(rw_lock_held(&swap_syscall_lock));
KASSERT(rw_lock_held(&swap_syscall_lock));
KASSERT(rw_lock_held(uobj->vmobjlock));
KASSERT(rw_lock_held(uobj->vmobjlock));