Changes in kernel/arch/amd64/src/userspace.c [1d3d2cf:c0699467] in mainline

File:

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

kernel/arch/amd64/src/userspace.c

@@ -38 +38 @@
 #include <typedefs.h>
 #include <arch.h>
-#include <proc/uarg.h>
+#include <abi/proc/uarg.h>
 #include <mm/as.h>
-
 
 /** Enter userspace
@@ -66 +65 @@
                 "iretq\n"
                 :: [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
-                   [stack_size] "r" (kernel_uarg->uspace_stack + THREAD_STACK_SIZE),
+                   [stack_size] "r" (kernel_uarg->uspace_stack + STACK_SIZE),
                    [ipl] "r" (ipl),
                    [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),