rw_write_held
KASSERT(rw_write_held(pm->pm_lock));
KASSERT(rw_write_held(&pvh_global_lock));
KASSERT(rw_write_held(&pvh_global_lock));
KASSERT(rw_write_held(&pvh_global_lock));
KASSERT(rw_write_held(&pvh_global_lock));
KASSERT(rw_write_held(&pvh_global_lock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(&dkwedges_lock));
KASSERT(rw_write_held(&mach->lock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(&acct_lock));
KASSERT(rw_write_held(&exec_lock));
KASSERT(!crashed || rw_write_held(&exec_lock));
KASSERT(rw_write_held(&sysctl_treelock));
KASSERT(rw_write_held(&sysctl_treelock));
KASSERT(rw_write_held(&sysctl_treelock));
KASSERT(rw_write_held(&sysctl_treelock));
KASSERT(rw_write_held(&dvi->vi_nc_lock));
KASSERT(rw_write_held(&wl->wl_rwlock));
KASSERT(!rw_write_held(&wl->wl_rwlock));
KASSERT(rw_write_held(&wl->wl_rwlock));
KASSERT(rw_write_held(&wl->wl_rwlock));
KASSERT(rw_write_held(uobj->vmobjlock) ||
KASSERT(rw_write_held(slock));
if (rw_write_held(&vip->vi_lock))
return rw_write_held(&gp->g_glock);
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held((ifp)->if_afdata_lock))
#define LLE_WLOCK_ASSERT(lle) KASSERT(rw_write_held(&(lle)->lle_lock))
#define PPPOE_WLOCKED(_sc) rw_write_held(&(_sc)->sc_lock)
#define SPPP_WLOCKED(_sp) rw_write_held(&(_sp)->pp_lock)
#define RT_WLOCKED() rw_write_held(&rt_lock)
#define RT_ASSERT_WLOCK() KASSERT(rw_write_held(&rt_lock))
KASSERT(rw_write_held(&in6_multilock));
KASSERT(rw_write_held(&in6_multilock));
KASSERT(rw_write_held(&in6_multilock));
KASSERT(rw_write_held(&in6_multilock));
KASSERT(rw_write_held(&in6_multilock));
KASSERT(rw_write_held(&in6_multilock));
KASSERT(rw_write_held(&in6_multilock));
KASSERT(rw_write_held(&in6_multilock));
return rw_write_held(&in6_multilock);
#define ND6_ASSERT_WLOCK() KASSERT(rw_write_held(&nd6_lock))
bool shared = !rw_write_held(rw);
return rw_read_held(rw) || rw_write_held(rw);
return rw_write_held(rw) ? RW_WRITER : RW_READER;
return rw_write_held(rw) ? RW_WRITER : RW_READER;
KASSERT(!rw_write_held(uobj->vmobjlock));
KASSERT(uobj && rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
return rw_write_held(pg->uobject->vmobjlock);
KASSERT(rw_write_held(pg->uobject->vmobjlock));
KASSERT(rw_write_held(&secmodels_lock));
int rw_write_held(krwlock_t *);
KASSERT(!rw_write_held(&chmp->chm_lock_wbuf));
KASSERT(!rw_write_held(&chmp->chm_lock_wbuf));
KASSERT(rw_write_held(&chmp->chm_lock_wbuf));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(!rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(!rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(!rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(!rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(!rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(!rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(!rw_write_held(vp->v_uobj.vmobjlock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(anon->an_lock == NULL || rw_write_held(anon->an_lock));
KASSERT(rw_write_held(anon->an_lock));
KASSERT(rw_write_held(anon->an_lock));
KASSERT(rw_write_held(anon->an_lock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock) || uobj->uo_refs == 0);
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock) ||
KASSERT(rw_write_held(pg->uobject->vmobjlock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(amap->am_lock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(anon->an_lock));
KASSERT(uobj == NULL || rw_write_held(uobj->vmobjlock));
!rw_write_held(aref->ar_amap->am_lock));
!rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(anon->an_lock));
KASSERT(rw_write_held(anon->an_lock));
KASSERT(rw_write_held(pg->uobject->vmobjlock));
KASSERT(rw_write_held(&map->lock));
KASSERT(rw_write_held(&map->lock));
return rw_write_held(&map->lock);
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
uobj, rw_write_held(uobj->vmobjlock), uobj->pgops, uobj->uo_npages);
KASSERT(obj == NULL || rw_write_held(obj->vmobjlock));
rw_write_held(anon->an_lock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(pg->uobject == NULL || rw_write_held(pg->uobject->vmobjlock));
rw_write_held(pg->uanon->an_lock));
? rw_write_held(pg->uobject->vmobjlock)
? rw_write_held(pg->uanon->an_lock)
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(pg->uanon->an_lock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(&swap_syscall_lock));
KASSERT(rw_write_held(&swap_syscall_lock));
KASSERT(remove ? rw_write_held(&swap_syscall_lock) : 1);
KASSERT(rw_write_held(&swap_syscall_lock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT((flags & UFP_NOBUSY) != 0 || rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(uobj->vmobjlock));