Index: kernel/arch/riscv64/src/userspace.c
===================================================================
--- kernel/arch/riscv64/src/userspace.c	(revision 6677acb49e48af821edea6da80b06fe4a5b68dba)
+++ kernel/arch/riscv64/src/userspace.c	(revision d31c3ea70b393289736cdac0e91fa5c5eba06c4c)
@@ -33,8 +33,12 @@
  */
 
-#include <abi/proc/uarg.h>
 #include <userspace.h>
 
-void userspace(uspace_arg_t *kernel_uarg)
+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)
 {
 	// FIXME