Changes in kernel/arch/ia32/src/proc/scheduler.c [4a537dd:99d6fd0] in mainline

File:

• kernel/arch/ia32/src/proc/scheduler.c (modified) (1 diff)

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

@@ -61 +61 @@
             SP_DELTA];
         
-        if (CPU->arch.fi.bits.sep) {
-                /* Set kernel stack for CP3 -> CPL0 switch via SYSENTER */
-                write_msr(IA32_MSR_SYSENTER_ESP, kstk);
-        }
+        /* Set kernel stack for CP3 -> CPL0 switch via SYSENTER */
+        write_msr(IA32_MSR_SYSENTER_ESP, kstk);
         
         /* Set kernel stack for CPL3 -> CPL0 switch via interrupt */