diff options
Diffstat (limited to 'sys/kern/kern_thread.c')
-rw-r--r-- | sys/kern/kern_thread.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sys/kern/kern_thread.c b/sys/kern/kern_thread.c index 6b4ea6f..d3a399c 100644 --- a/sys/kern/kern_thread.c +++ b/sys/kern/kern_thread.c @@ -26,6 +26,8 @@ * DAMAGE. */ +#include "opt_witness.h" + #include <sys/cdefs.h> __FBSDID("$FreeBSD$"); @@ -403,6 +405,9 @@ thread_exit(void) ruxagg(&p->p_rux, td); PROC_SUNLOCK(p); td->td_state = TDS_INACTIVE; +#ifdef WITNESS + witness_thread_exit(td); +#endif CTR1(KTR_PROC, "thread_exit: cpu_throw() thread %p", td); sched_throw(td); panic("I'm a teapot!"); |