Changes in kernel/arch/ppc32/src/ppc32.c [5a5269d:88e43bc] 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(kernel_uarg->uspace_uarg,
-            kernel_uarg->uspace_stack +
+        userspace_asm((uintptr_t) kernel_uarg->uspace_uarg,
+            (uintptr_t) kernel_uarg->uspace_stack +
             kernel_uarg->uspace_stack_size - SP_DELTA,
-            kernel_uarg->uspace_entry);
+            (uintptr_t) kernel_uarg->uspace_entry);
 
         unreachable();