Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision c06994673347954891a57710998cf1e087a59e8b)
+++ kernel/arch/abs32le/src/abs32le.c	(revision 792807f9edc6d96f0d0f3eb079d9d8b6ea0d2898)
@@ -86,5 +86,5 @@
 }
 
-sysarg_t sys_tls_set(sysarg_t addr)
+sysarg_t sys_tls_set(uintptr_t addr)
 {
 	return EOK;