Symbol: thread_count_dec
sys/kern/kern_thread.c
798
thread_count_dec();
sys/kern/kern_thread.c
857
thread_count_dec();