Index: kernel/generic/include/userspace.h
===================================================================
--- kernel/generic/include/userspace.h	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/include/userspace.h	(revision 9e7e1dc54b54c45a22b8d477342affeced0f20fc)
@@ -39,6 +39,8 @@
 #include <typedefs.h>
 
+extern uintptr_t arch_get_initial_sp(uintptr_t stack_base, uintptr_t stack_size);
+
 /** Switch to user-space (CPU user priviledge level) */
-extern void userspace(uspace_arg_t *uarg) __attribute__((noreturn));
+extern void userspace(sysarg_t pc, sysarg_t sp) __attribute__((noreturn));
 
 #endif