Symbol: cpu_thread_free
sys/kern/kern_thread.c
836
cpu_thread_free(td);
sys/sys/proc.h
1248
void cpu_thread_free(struct thread *);