Changes in kernel/arch/ia32/src/proc/scheduler.c [864e272:b8230b9] in mainline

File:

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

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

@@ -38 +38 @@
 #include <proc/thread.h>
 #include <arch.h>
-#include <arch/interrupt.h>
+#include <arch/context.h>  /* SP_DELTA */
 #include <arch/pm.h>
 #include <arch/asm.h>
@@ -58 +58 @@
 void before_thread_runs_arch(void)
 {
-        uintptr_t kstk = (uintptr_t) &THREAD->kstack[THREAD_STACK_SIZE];
+        uintptr_t kstk = (uintptr_t) &THREAD->kstack[THREAD_STACK_SIZE -
+            SP_DELTA];
         
         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));
+                write_msr(IA32_MSR_SYSENTER_ESP, kstk);
         }