_kern_find_thread
extern thread_id _kern_find_thread(const char *name);
return _kern_find_thread(name);
return _kern_find_thread(name);
return _kern_find_thread(name);
return _kern_find_thread(name);
return _kern_find_thread(name);
return _kern_find_thread(name);
return _kern_find_thread(name);
return _kern_find_thread(name);
return _kern_find_thread(name);