Symbol: thread_free_batched
sys/kern/kern_thread.c
154
static void thread_free_batched(struct thread *td);
sys/kern/kern_thread.c
671
thread_free_batched(itd);
sys/kern/kern_thread.c
855
thread_free_batched(td);