From 35881fb690c341f53ea3fb969e8d87b69401e49c Mon Sep 17 00:00:00 2001 From: Zheng Da Date: Wed, 18 Nov 2009 01:45:36 +0100 Subject: Adapt the implementation of DDEKit threads. --- libddekit/include/ddekit/thread.h | 19 ------------------- 1 file changed, 19 deletions(-) (limited to 'libddekit/include/ddekit') diff --git a/libddekit/include/ddekit/thread.h b/libddekit/include/ddekit/thread.h index ecd399d9..6e505818 100644 --- a/libddekit/include/ddekit/thread.h +++ b/libddekit/include/ddekit/thread.h @@ -3,8 +3,6 @@ /** \defgroup DDEKit_threads */ -#include - struct ddekit_thread; typedef struct ddekit_thread ddekit_thread_t; @@ -118,29 +116,12 @@ void ddekit_thread_wakeup(ddekit_thread_t *thread); */ void ddekit_thread_exit(void) __attribute__((noreturn)); -/** Terminate a thread - * - * \ingroup DDEKit_threads - */ -void ddekit_thread_terminate(ddekit_thread_t *thread); - /** Get the name, a thread registered with DDEKit. * * \ingroup DDEKit_threads */ const char *ddekit_thread_get_name(ddekit_thread_t *thread); -/** Get unique ID of a DDEKit thread. - * - * \ingroup DDEKit_threads - * - * DDEKit does not allow direct access to the thread data - * structure, since this struct contains L4-specific data types. - * However, applications might want to get some kind of ID related - * to a ddekit_thread, for instance to use it as a Linux-like PID. - */ -int ddekit_thread_get_id(ddekit_thread_t *thread); - /** Hint that this thread is done and may be scheduled somehow. * * \ingroup DDEKit_threads -- cgit v1.2.3