Index: kernel/generic/include/syscall/syscall.h
===================================================================
--- kernel/generic/include/syscall/syscall.h	(revision 1558d85ed379df2444da9a5e16727816dbb0a4b8)
+++ kernel/generic/include/syscall/syscall.h	(revision 9182e86f8fac41203c8da4e3158cbf2b160dc738)
@@ -45,5 +45,4 @@
 extern sysarg_t syscall_handler(sysarg_t, sysarg_t, sysarg_t, sysarg_t,
     sysarg_t, sysarg_t, sysarg_t);
-extern sysarg_t sys_tls_set(uintptr_t);
 
 #endif
Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 1558d85ed379df2444da9a5e16727816dbb0a4b8)
+++ kernel/generic/src/syscall/syscall.c	(revision 9182e86f8fac41203c8da4e3158cbf2b160dc738)
@@ -124,5 +124,4 @@
 	/* System management syscalls. */
 	(syshandler_t) sys_kio,
-	(syshandler_t) sys_tls_set,
 	
 	/* Thread and task related syscalls. */