--- osi_file.c	2009-07-20 23:33:46.000000000 -0400
+++ osi_file.c.new	2009-07-20 23:33:34.000000000 -0400
@@ -125,7 +125,8 @@
     if (glocked)
       AFS_GUNLOCK();
 #if defined(AFS_FBSD80_ENV)
-    vn_lock(vp, LK_EXCLUSIVE | LK_RETRY);
+    lockmgr_assert(vp->v_vnlock,KA_LOCKED);
+    /* vn_lock(vp, LK_EXCLUSIVE | LK_RETRY); */
     code = VOP_GETATTR(afile->vnode, &tvattr, afs_osi_credp);
 #elif defined(AFS_FBSD50_ENV)
     vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, curthread);