Changeset f2ef7fd in mainline for kernel/arch/ia32/src/proc/scheduler.c

Timestamp:

2008-10-05T21:20:13Z (16 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

6198611

Parents:

1d132ae

Message:

Support for SYSENTER on ia32.

File:

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

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

@@ -59 +59 @@
 void before_thread_runs_arch(void)
 {
-        CPU->arch.tss->esp0 = (uintptr_t) &THREAD->kstack[THREAD_STACK_SIZE -
+        uintptr_t kstk = (uintptr_t) &THREAD->kstack[THREAD_STACK_SIZE -
             SP_DELTA];
+
+        /* 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 */
+        CPU->arch.tss->esp0 = kstk;
         CPU->arch.tss->ss0 = selector(KDATA_DES);