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