1 #include <OS.h> 2 #include "syscalls.h" 3 4 5 thread_id find_thread(const char * name)6 find_thread(const char *name) 7 { 8 return _kern_find_thread(name); 9 } 10