thread_count 284 kernel/generic/include/proc/thread.h extern size_t thread_count(void); thread_count 336 kernel/generic/src/sysinfo/stats.c size_t count = thread_count();