Changes in kernel/arch/ia64/src/ia64.c [26f407e9:2902e1bb] in mainline

File:

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

kernel/arch/ia64/src/ia64.c

@@ -232 +232 @@
          *
          * When calculating stack addresses, mind the stack split between the
-         * memory stack and the RSE stack. Each occuppies STACK_SIZE / 2 bytes.
+         * memory stack and the RSE stack. Each occuppies
+         * uspace_stack_size / 2 bytes.
          */
         switch_to_userspace((uintptr_t) kernel_uarg->uspace_entry,
-            ((uintptr_t) kernel_uarg->uspace_stack) + STACK_SIZE / 2 -
+            ((uintptr_t) kernel_uarg->uspace_stack) +
+            kernel_uarg->uspace_stack_size / 2 -
             ALIGN_UP(STACK_ITEM_SIZE, STACK_ALIGNMENT),
-            ((uintptr_t) kernel_uarg->uspace_stack) + STACK_SIZE / 2,
+            ((uintptr_t) kernel_uarg->uspace_stack) +
+            kernel_uarg->uspace_stack_size / 2,
             (uintptr_t) kernel_uarg->uspace_uarg, psr.value, rsc.value);
-
-        while (1)
-                ;
+        
+        while (1);
 }