Changes in kernel/arch/abs32le/src/userspace.c [3fcea34:c5429fe] in mainline

File:

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

kernel/arch/abs32le/src/userspace.c

@@ -36 +36 @@
 #include <stdbool.h>
 #include <arch.h>
+#include <abi/proc/uarg.h>
 #include <mm/as.h>
 
-uintptr_t arch_get_initial_sp(uintptr_t stack_base, uintptr_t stack_size)
-{
-        return stack_base + stack_size;
-}
-
-void userspace(uintptr_t pc, uintptr_t sp)
+void userspace(uspace_arg_t *kernel_uarg)
 {
         /*