Changes in kernel/arch/ia64/src/ia64.c [5a5269d:c5429fe] 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(kernel_uarg->uspace_entry,
-            kernel_uarg->uspace_stack +
+        switch_to_userspace((uintptr_t) kernel_uarg->uspace_entry,
+            ((uintptr_t) kernel_uarg->uspace_stack) +
             kernel_uarg->uspace_stack_size / 2 -
             ALIGN_UP(STACK_ITEM_SIZE, STACK_ALIGNMENT),
-            kernel_uarg->uspace_stack +
+            ((uintptr_t) kernel_uarg->uspace_stack) +
             kernel_uarg->uspace_stack_size / 2,
-            kernel_uarg->uspace_uarg, psr.value, rsc.value);
+            (uintptr_t) kernel_uarg->uspace_uarg, psr.value, rsc.value);
 
         while (true)