Index: libc/include/thread.h
===================================================================
--- libc/include/thread.h	(revision 29a9f628c8583835e581747cfad7877e27f6d810)
+++ libc/include/thread.h	(revision fcd10af6fb760d39a824242ffd2987aa8db7c809)
@@ -32,4 +32,5 @@
 #include <kernel/proc/uarg.h>
 #include <libarch/thread.h>
+#include <types.h>
 
 extern void __thread_entry(void);
@@ -38,6 +39,8 @@
 extern int thread_create(void (* function)(void *arg), void *arg, char *name);
 extern void thread_exit(int status);
-void * __make_tls(void);
-void __free_tls(void *);
+tcb_t * __make_tls(void);
+tcb_t * __alloc_tls(void **data, size_t size);
+void __free_tls(tcb_t *);
+void __free_tls_arch(tcb_t *, size_t size);
 
 #endif