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