Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 49eb6818bdc4c8415ca4893642646cd5a99d5555)
+++ kernel/arch/ia32/src/ia32.c	(revision 1f383dde20a2b1e39baa81fbc44a73c126e508e4)
@@ -211,5 +211,5 @@
  * selector, and the descriptor->base is the correct address.
  */
-unative_t sys_tls_set(unative_t addr)
+sysarg_t sys_tls_set(sysarg_t addr)
 {
 	THREAD->arch.tls = addr;