Changes in kernel/arch/amd64/src/userspace.c [2902e1bb:9d58539] in mainline

File:

• kernel/arch/amd64/src/userspace.c (modified) (3 diffs)

kernel/arch/amd64/src/userspace.c

@@ -55 +55 @@
         asm volatile (
                 "pushq %[udata_des]\n"
-                "pushq %[stack_top]\n"
+                "pushq %[stack_size]\n"
                 "pushq %[ipl]\n"
                 "pushq %[utext_des]\n"
@@ -65 +65 @@
                 "iretq\n"
                 :: [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
-                   [stack_top] "r" ((uint8_t *) kernel_uarg->uspace_stack +
-                       kernel_uarg->uspace_stack_size),
+                   [stack_size] "r" (kernel_uarg->uspace_stack + STACK_SIZE),
                    [ipl] "r" (ipl),
                    [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),
@@ -75 +74 @@
         
         /* Unreachable */
-        while (1);
+        while (1)
+                ;
 }