Changeset e28175d in mainline for kernel/arch/arm32/src/userspace.c

Timestamp:

2020-03-15T10:44:02Z (6 years ago)

Author:

GitHub <noreply@…>

Parents:

b401b33 (diff), 44dde42 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

heiducteam <tristanided@…> (2020-03-15 10:44:02)

git-committer:

GitHub <noreply@…> (2020-03-15 10:44:02)

Message:

Merge pull request #1 from HelenOS/master

sync

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 */