sys/uvm/uvm_anon.c

215

KASSERT(anon->an_ref == 0 || rw_lock_held(anon->an_lock));

sys/uvm/uvm_aobj.c

981

KASSERT(rw_lock_held(uobj->vmobjlock));

sys/uvm/uvm_fault.c

182

KASSERT(rw_lock_held(anons[lcv]->an_lock));

sys/uvm/uvm_fault.c

235

KASSERT(rw_lock_held(anon->an_lock));

sys/uvm/uvm_fault.c

459

KASSERT(uobj == NULL || rw_lock_held(uobj->vmobjlock));

sys/uvm/uvm_page.c

1074

KASSERT(rw_lock_held(lock));

sys/uvm/uvm_page.c

1373

: rw_lock_held(pg->uobject->vmobjlock);

sys/uvm/uvm_page.c

1378

: rw_lock_held(pg->uanon->an_lock);

sys/uvm/uvm_vnode.c

917

KASSERT(rw_lock_held(uobj->vmobjlock));