vn_vfswlock_held
ASSERT(vn_vfswlock_held(cvp));
ASSERT(vn_vfswlock_held(cvp));
ASSERT(vn_vfswlock_held(vfsp->vfs_vnodecovered));
if (vn_vfswlock_held(vp))
if (!vn_vfswlock_held(cvp))
ASSERT(coveredvp == NULL || vn_vfswlock_held(coveredvp));
ASSERT(vn_vfswlock_held(coveredvp));
ASSERT(vn_vfswlock_held(vp));
int vn_vfswlock_held(struct vnode *vp);