kdtrace_thread_dtor
kdtrace_thread_dtor(NULL, l);
static __inline void kdtrace_thread_dtor(void *, struct lwp *);