Changes in kernel/arch/ia32/src/userspace.c [1d3d2cf:0160b1c8] in mainline

File:

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

kernel/arch/ia32/src/userspace.c

@@ -35 +35 @@
 #include <userspace.h>
 #include <arch/pm.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <arch.h>
 #include <proc/uarg.h>
@@ -70 +70 @@
                 "movl %[uarg], %%eax\n"
                 
-                /* %edi is defined to hold pcb_ptr - set it to 0 */
-                "xorl %%edi, %%edi\n"
+                /* %ebx is defined to hold pcb_ptr - set it to 0 */
+                "xorl %%ebx, %%ebx\n"
                 
                 "iret\n"
                 :
-                : [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
+                : [udata_des] "i" (gdtselector(UDATA_DES) | PL_USER),
                   [stack_size] "r" ((uint8_t *) kernel_uarg->uspace_stack + THREAD_STACK_SIZE),
                   [ipl] "r" (ipl),
-                  [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),
+                  [utext_des] "i" (gdtselector(UTEXT_DES) | PL_USER),
                   [entry] "r" (kernel_uarg->uspace_entry),
                   [uarg] "r" (kernel_uarg->uspace_uarg),
-                  [tls_des] "r" (GDT_SELECTOR(TLS_DES))
+                  [tls_des] "r" (gdtselector(TLS_DES))
                 : "eax");