159 void *ddekit_thread_get_data(ddekit_thread_t *thread)  in ddekit_thread_get_data()  argument
161 	return thread->data;  in ddekit_thread_get_data()
205 void ddekit_thread_set_data(ddekit_thread_t *thread, void *data)  in ddekit_thread_set_data()  argument
207 	thread->data=data;  in ddekit_thread_set_data()
319 ddekit_thread_terminate(ddekit_thread_t * thread)  in ddekit_thread_terminate()  argument
321 	if (thread == ddekit_thread_myself()) {  in ddekit_thread_terminate()
328 	_ddekit_thread_dequeue(thread);  in ddekit_thread_terminate()
330 	ddekit_sem_deinit(thread->sleep_sem);  in ddekit_thread_terminate()
332 	ddekit_simple_free(thread->stack);  in ddekit_thread_terminate()
334 	ddekit_simple_free(thread);  in ddekit_thread_terminate()
340 const char *ddekit_thread_get_name(ddekit_thread_t *thread)  in ddekit_thread_get_name()  argument
342 	return thread->name;  in ddekit_thread_get_name()
348 int ddekit_thread_get_id(ddekit_thread_t *thread)  in ddekit_thread_get_id()  argument
350 	return thread->id;  in ddekit_thread_get_id()