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

File:

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

kernel/arch/amd64/src/userspace.c

@@ -65 +65 @@
                 "xorq %%rdi, %%rdi\n"
                 "iretq\n"
-                :: [udata_des] "i" (gdtselector(UDATA_DES) | PL_USER),
+                :: [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
                    [stack_size] "r" (kernel_uarg->uspace_stack + THREAD_STACK_SIZE),
                    [ipl] "r" (ipl),
-                   [utext_des] "i" (gdtselector(UTEXT_DES) | PL_USER),
+                   [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),
                    [entry] "r" (kernel_uarg->uspace_entry),
                    [uarg] "r" (kernel_uarg->uspace_uarg)