kdtrace_proc_dtor
kdtrace_proc_dtor(NULL, p);
static __inline void kdtrace_proc_dtor(void *, struct proc *);