Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 6677acb49e48af821edea6da80b06fe4a5b68dba)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 09f41d3d60ae4abb40aff09edace1ef60c15b484)
@@ -49,5 +49,4 @@
 #include <mm/km.h>
 #include <time/clock.h>
-#include <abi/proc/uarg.h>
 #include <console/console.h>
 #include <sysinfo/sysinfo.h>
@@ -290,11 +289,12 @@
 }
 
-void userspace(uspace_arg_t *kernel_uarg)
-{
-	userspace_asm(kernel_uarg->uspace_uarg,
-	    kernel_uarg->uspace_stack +
-	    kernel_uarg->uspace_stack_size - SP_DELTA,
-	    kernel_uarg->uspace_entry);
-
+uintptr_t arch_get_initial_sp(uintptr_t stack_base, uintptr_t stack_size)
+{
+	return stack_base + stack_size - SP_DELTA;
+}
+
+void userspace(uintptr_t pc, uintptr_t sp)
+{
+	userspace_asm(0, sp, pc);
 	unreachable();
 }