--- //depot/vendor/freebsd/src/sys/kern/kern_lock.c	2008/01/24 12:35:50
+++ //depot/user/attilio/attilio_schedlock/kern/kern_lock.c	2008/01/24 12:55:19
@@ -105,7 +105,12 @@
 	panic("lockmgr locks do not support sleep interlocking");
 }
 
-#define	COUNT(td, x)	((td)->td_locks += (x))
+#define	COUNT(td, x) do {						\
+	CTR3(KTR_SPARE2, "%s: %p bumping of %d td_locks", __func__,	\
+	    (td), (x));							\
+	(td)->td_locks += (x);						\
+} while (0)
+
 #define LK_ALL (LK_HAVE_EXCL | LK_WANT_EXCL | LK_WANT_UPGRADE | \
 	LK_SHARE_NONZERO | LK_WAIT_NONZERO)
 
@@ -555,8 +560,10 @@
 	 * owner can be alredy KERNPROC, so in that case just skip the
 	 * decrement.
 	 */
-	if (lkp->lk_lockholder == td)
+	if (lkp->lk_lockholder == td) {	
+		CTR2(KTR_SPARE2, "%s: %p bumping of -1 td_locks", __func__, td);
 		td->td_locks--;
+	}
 	lkp->lk_lockholder = LK_KERNPROC;
 }