Symbol: tid_free_batch
sys/kern/kern_thread.c
326
tid_free_batch(tb->tab, tb->n);
sys/kern/kern_thread.c
338
tid_free_batch(tb->tab, tb->n);