Symbol: tid_free_locked
sys/kern/kern_thread.c
278
tid_free_locked(rtid);
sys/kern/kern_thread.c
289
tid_free_locked(batch[i]);