/SPARTAN/trunk/arch/ia32/src/proc/scheduler.c |
---|
31,7 → 31,7 |
#include <proc/thread.h> |
#include <arch.h> |
void before_thread_runs(void) |
void before_thread_runs_arch(void) |
{ |
CPU->arch.tss->esp0 = (__address) &THREAD->kstack[THREAD_STACK_SIZE-8]; |
CPU->arch.tss->ss0 = selector(KDATA_DES); |