Changes in kernel/arch/ia32/src/userspace.c [83dab11:a35b458] in mainline

File:

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

kernel/arch/ia32/src/userspace.c

@@ -50 +50 @@
 {
         uint32_t eflags = read_eflags();
-        
+
         asm volatile (
                 /* Set up GS register (virtual register segment) */
                 "movl %[vreg_des], %%gs\n"
-                
+
                 "pushl %[udata_des]\n"
                 "pushl %[stack_top]\n"
@@ -61 +61 @@
                 "pushl %[entry]\n"
                 "movl %[uarg], %%eax\n"
-                
+
                 /* %edi is defined to hold pcb_ptr - set it to 0 */
                 "xorl %%edi, %%edi\n"
-                
+
                 "iret\n"
                 :
@@ -77 +77 @@
                   [vreg_des] "r" (GDT_SELECTOR(VREG_DES))
                 : "eax");
-        
+
         /* Unreachable */
         while (1);