Changes in kernel/arch/ia32/src/proc/scheduler.c [a35b458:d6f9fff] in mainline

File:

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

kernel/arch/ia32/src/proc/scheduler.c

@@ -59 +59 @@
 {
         uintptr_t kstk = (uintptr_t) &THREAD->kstack[STACK_SIZE];
-
+        
 #ifndef PROCESSOR_i486
         if (CPU->arch.fi.bits.sep) {
@@ -66 +66 @@
         }
 #endif
-
+        
         /* Set kernel stack for CPL3 -> CPL0 switch via interrupt */
         CPU->arch.tss->esp0 = kstk;