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