Index: kernel/generic/include/syscall/syscall.h
===================================================================
--- kernel/generic/include/syscall/syscall.h	(revision 1558d85ed379df2444da9a5e16727816dbb0a4b8)
+++ kernel/generic/include/syscall/syscall.h	(revision 57c2a87b03a0b6c08cef4f64f0cf52a7d8b38b62)
@@ -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