Changes in kernel/arch/ppc32/src/ppc32.c [88e43bc:5a5269d] in mainline

File:

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

kernel/arch/ppc32/src/ppc32.c

@@ -292 +292 @@
 void userspace(uspace_arg_t *kernel_uarg)
 {
-        userspace_asm((uintptr_t) kernel_uarg->uspace_uarg,
-            (uintptr_t) kernel_uarg->uspace_stack +
+        userspace_asm(kernel_uarg->uspace_uarg,
+            kernel_uarg->uspace_stack +
             kernel_uarg->uspace_stack_size - SP_DELTA,
-            (uintptr_t) kernel_uarg->uspace_entry);
+            kernel_uarg->uspace_entry);
 
         unreachable();