#include "pthread.h" #include #include #include #include #include #include #include int pthread_detach(struct __pthread *thread) { thread->thr_flags |= THREAD_DETACHED; kern_handle_close(thread->thr_handle); return 0; }