vx_unlock
vx_unlock(vp); /* safety: keep the API clean */
vx_unlock(vp);
vx_unlock(vp);
vx_unlock(vp);
vx_unlock(vp);
vx_unlock(rootvp);
vx_unlock(vp);
vx_unlock(vp);
void vx_unlock (struct vnode *vp);
vx_unlock(swapdev_vp);