Changes in kernel/arch/abs32le/src/abs32le.c [d8db519:96b02eb9] in mainline

File:

• kernel/arch/abs32le/src/abs32le.c (modified) (1 diff)

kernel/arch/abs32le/src/abs32le.c

@@ -86 +86 @@
 }
 
-sysarg_t sys_tls_set(uintptr_t addr)
+sysarg_t sys_tls_set(sysarg_t addr)
 {
         return EOK;