Changes in kernel/arch/ia64/src/ia64.c [c5429fe:5a5269d] in mainline

File:

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

kernel/arch/ia64/src/ia64.c

@@ -244 +244 @@
          * uspace_stack_size / 2 bytes.
          */
-        switch_to_userspace((uintptr_t) kernel_uarg->uspace_entry,
-            ((uintptr_t) kernel_uarg->uspace_stack) +
+        switch_to_userspace(kernel_uarg->uspace_entry,
+            kernel_uarg->uspace_stack +
             kernel_uarg->uspace_stack_size / 2 -
             ALIGN_UP(STACK_ITEM_SIZE, STACK_ALIGNMENT),
-            ((uintptr_t) kernel_uarg->uspace_stack) +
+            kernel_uarg->uspace_stack +
             kernel_uarg->uspace_stack_size / 2,
-            (uintptr_t) kernel_uarg->uspace_uarg, psr.value, rsc.value);
+            kernel_uarg->uspace_uarg, psr.value, rsc.value);
 
         while (true)