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

File:

• kernel/arch/abs32le/src/abs32le.c (modified) (2 diffs)

kernel/arch/abs32le/src/abs32le.c

@@ -49 +49 @@
 #include <syscall/syscall.h>
 #include <console/console.h>
+#include <sysinfo/sysinfo.h>
 #include <memstr.h>
 
@@ -85 +86 @@
 }
 
-sysarg_t sys_tls_set(uintptr_t addr)
+sysarg_t sys_tls_set(sysarg_t addr)
 {
         return EOK;