--- //depot/vendor/freebsd/src/sys/kern/kern_exit.c	2005/07/18 20:10:27
+++ //depot/projects/smpng/sys/kern/kern_exit.c	2005/07/29 15:18:26
@@ -487,6 +487,9 @@
 	 */
 	cpu_exit(td);
 
+	WITNESS_WARN(WARN_PANIC, &proctree_lock.sx_object,
+	    "process (pid %d) exiting", p->p_pid);
+
 	PROC_LOCK(p);
 	PROC_LOCK(p->p_pptr);
 	sx_xunlock(&proctree_lock);
--- //depot/vendor/freebsd/src/sys/kern/kern_kse.c	2005/06/23 22:01:05
+++ //depot/projects/smpng/sys/kern/kern_kse.c	2005/06/24 18:10:31
@@ -1313,6 +1313,8 @@
 		PROC_LOCK(p);
 		if (kg->kg_upsleeps)
 			wakeup(&kg->kg_completed);
+		WITNESS_WARN(WARN_PANIC, &p->p_mtx.mtx_object,
+		    "thread exiting in userret");
 		mtx_lock_spin(&sched_lock);
 		thread_stopped(p);
 		thread_exit();