Changes in kernel/arch/ia32/src/userspace.c [2902e1bb:d6f9fff] in mainline

File:

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

kernel/arch/ia32/src/userspace.c

@@ -59 +59 @@
                 "popfl\n"
                 
-                /* Set up GS register (TLS) */
-                "movl %[tls_des], %%gs\n"
+                /* Set up GS register (virtual register segment) */
+                "movl %[vreg_des], %%gs\n"
                 
                 "pushl %[udata_des]\n"
@@ -81 +81 @@
                   [entry] "r" (kernel_uarg->uspace_entry),
                   [uarg] "r" (kernel_uarg->uspace_uarg),
-                  [tls_des] "r" (GDT_SELECTOR(TLS_DES))
+                  [vreg_des] "r" (GDT_SELECTOR(VREG_DES))
                 : "eax");