Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 27f67f53b292b6b11b45be192ec9f6146a87fd85)
+++ kernel/arch/ia64/src/ia64.c	(revision 6d87dce26627d7694e5261b909baec0bd3036471)
@@ -250,13 +250,4 @@
 }
 
-/** Set thread-local-storage pointer.
- *
- * We use r13 (a.k.a. tp) for this purpose.
- */
-sysarg_t sys_tls_set(uintptr_t addr)
-{
-	return EOK;
-}
-
 void arch_reboot(void)
 {