rw_write_held
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(anon->an_lock));
KASSERT(rw_write_held(anon->an_lock));
KASSERT(rw_write_held(anon->an_lock));
KASSERT(anon->an_lock == NULL || 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(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(amap->am_lock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(&map->lock));
? rw_write_held(pg->uobject->vmobjlock)
? rw_write_held(pg->uanon->an_lock)
rw_write_held(pg->uobject->vmobjlock));
rw_write_held(pg->uobject->vmobjlock));
rw_write_held(obj->vmobjlock));
rw_write_held(anon->an_lock));
rw_write_held(obj->vmobjlock));
rw_write_held(anon->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(pg->uanon->an_lock));
KASSERT(rw_write_held(uobj->vmobjlock));
KASSERT(rw_write_held(&swap_syscall_lock));
KASSERT(rw_write_held(&swap_syscall_lock));
KASSERT(rw_write_held(&swap_syscall_lock));
KASSERT(rw_write_held(&swap_syscall_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(uobj->vmobjlock) ||