Symbol: allocate_thread_id
headers/private/kernel/thread.h
118
thread_id allocate_thread_id();
src/system/kernel/thread.cpp
301
id = threadID >= 0 ? threadID : allocate_thread_id();