tlk: 6/19 update
[3rdparty/ote_partner/tlk.git] / include / kernel / thread.h
index 53e3215..33d385f 100644 (file)
@@ -111,6 +111,7 @@ void thread_set_priority(int priority);
 thread_t *thread_create(const char *name, thread_start_routine entry, void *arg, int priority, size_t stack_size);
 status_t thread_resume(thread_t *);
 void thread_exit(int retcode) __NO_RETURN;
+void thread_kill(thread_t *thread);
 void thread_sleep(lk_time_t delay);
 void thread_suspend();