Changes in kernel/arch/ia32/src/proc/scheduler.c [8c15255:26aafe8] in mainline

File:

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

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

@@ -60 +60 @@
         uintptr_t kstk = (uintptr_t) &THREAD->kstack[STACK_SIZE];
         
-#ifndef PROCESSOR_i486
         if (CPU->arch.fi.bits.sep) {
                 /* Set kernel stack for CP3 -> CPL0 switch via SYSENTER */
                 write_msr(IA32_MSR_SYSENTER_ESP, kstk - sizeof(istate_t));
         }
-#endif
         
         /* Set kernel stack for CPL3 -> CPL0 switch via interrupt */