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

File:

• kernel/arch/arm32/src/userspace.c (modified) (2 diffs)

kernel/arch/arm32/src/userspace.c

@@ -71 +71 @@
 
         /* set first parameter */
-        ustate.r0 = (uintptr_t) kernel_uarg->uspace_uarg;
+        ustate.r0 = kernel_uarg->uspace_uarg;
 
         /* %r1 is defined to hold pcb_ptr - set it to 0 */
@@ -93 +93 @@
 
         /* set user stack */
-        ustate.sp = ((uint32_t) kernel_uarg->uspace_stack) +
+        ustate.sp = kernel_uarg->uspace_stack +
             kernel_uarg->uspace_stack_size;
 
         /* set where uspace execution starts */
-        ustate.pc = (uintptr_t) kernel_uarg->uspace_entry;
+        ustate.pc = kernel_uarg->uspace_entry;
 
         /* status register in user mode */