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

File:

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

kernel/arch/amd64/src/userspace.c

@@ -49 +49 @@
 {
         uint64_t rflags = read_rflags();
-
+        
         rflags &= ~RFLAGS_NT;
         rflags |= RFLAGS_IF;
-
+        
         asm volatile (
                 "pushq %[udata_des]\n"
@@ -60 +60 @@
                 "pushq %[entry]\n"
                 "movq %[uarg], %%rax\n"
-
+                        
                 /* %rdi is defined to hold pcb_ptr - set it to 0 */
                 "xorq %%rdi, %%rdi\n"
@@ -73 +73 @@
                 : "rax"
         );
-
+        
         /* Unreachable */
         while (1);