vn_rangelock_unlock
vn_rangelock_unlock(tovp, rl_wcookie);
vn_rangelock_unlock(vp, rl_rcookie);
vn_rangelock_unlock(vp, rl_rcookie);
vn_rangelock_unlock(tovp, rl_wcookie);
vn_rangelock_unlock(tovp, rl_wcookie);
vn_rangelock_unlock(vp, rl_rcookie);
vn_rangelock_unlock(vp, rl_rcookie);
vn_rangelock_unlock(tovp, rl_wcookie);
vn_rangelock_unlock(tmp->vp, rl);
vn_rangelock_unlock(tmp->vp, rl);
vn_rangelock_unlock(vp, rl_cookie);
vn_rangelock_unlock(tcq->tc_vp, rl_cookie);
vn_rangelock_unlock(vp, rl_cookie);
vn_rangelock_unlock(vp, rl_cookie);
vn_rangelock_unlock(vp, rl_cookie);
vn_rangelock_unlock(outvp, rl_wcookie);
vn_rangelock_unlock(invp, rl_rcookie);
vn_rangelock_unlock(invp, rl_rcookie);
vn_rangelock_unlock(outvp, rl_wcookie);
vn_rangelock_unlock(vp, rl_cookie);
vn_rangelock_unlock(vp, rl_cookie);
vn_rangelock_unlock(vp, rl_cookie);
vn_rangelock_unlock(vp, rl_cookie);