Symbol: _kern_resume_thread
headers/private/system/syscalls.h
168
extern status_t _kern_resume_thread(thread_id thread);
src/system/libroot/os/thread.c
145
return _kern_resume_thread(thread);