| /branches/dynload/kernel/arch/ia32/src/proc/scheduler.c |
|---|
| 58,8 → 58,14 |
| */ |
| 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); |
| /* Set up TLS in GS register */ |