Symbol: _kern_kill_thread
headers/private/system/syscalls.h
172
extern status_t _kern_kill_thread(thread_id thread);
src/system/libroot/os/thread.c
138
return _kern_kill_thread(thread);