rw_lock_op
op = rw_lock_op(vp->v_uobj.vmobjlock);
op = rw_lock_op(vp->v_uobj.vmobjlock);
if (locked && rw_lock_op(uobj->vmobjlock) == RW_READER) {
krw_t rw_lock_op(krwlock_t *);
op = rw_lock_op(anon->an_lock);
rw_lock_op(amap->am_lock) == flt->upper_lock_type);
KASSERT(flt->upper_lock_type == rw_lock_op(amap->am_lock));
KASSERT(flt->upper_lock_type == rw_lock_op(amap->am_lock));
rw_lock_op(amap->am_lock) == flt->upper_lock_type);
rw_lock_op(amap->am_lock) == flt->upper_lock_type);
KASSERT(rw_lock_op(pg->uanon->an_lock) == flt->upper_lock_type);
KASSERT(rw_lock_op(amap->am_lock) == flt->upper_lock_type);
KASSERT(rw_lock_op(amap->am_lock) == flt->upper_lock_type);
rw_lock_op(uobj->vmobjlock) == flt->lower_lock_type);
KASSERT(rw_lock_op(amap->am_lock) == flt->upper_lock_type);
rw_lock_op(uobj->vmobjlock) == flt->lower_lock_type);
KASSERT(flt->lower_lock_type == rw_lock_op(uobj->vmobjlock));
KASSERT(flt->lower_lock_type == rw_lock_op(uobj->vmobjlock));
rw_lock_op(amap->am_lock) == flt->upper_lock_type);
rw_lock_op(uobj->vmobjlock) == flt->lower_lock_type);
rw_lock_op(amap->am_lock) == flt->upper_lock_type);
rw_lock_op(uobj->vmobjlock) == flt->lower_lock_type);
KASSERT(rw_lock_op(uobj->vmobjlock) == flt->lower_lock_type);
KASSERT(rw_lock_op(pg->uobject->vmobjlock) == flt->lower_lock_type);
KASSERT(rw_lock_op(uobj->vmobjlock) == flt->lower_lock_type);
rw_lock_op(uobj->vmobjlock) == flt->lower_lock_type);
rw_lock_op(amap->am_lock) == flt->upper_lock_type);
rw_lock_op(uobj->vmobjlock) == flt->lower_lock_type);
lock_type = rw_lock_op(anon->an_lock);