/kernel/trunk/arch/ia32/src/proc/scheduler.c |
---|
40,7 → 40,7 |
CPU->arch.tss->ss0 = selector(KDATA_DES); |
/* Set up TLS in GS register */ |
set_tls_desc(THREAD->tls); |
set_tls_desc(THREAD->arch.tls); |
#ifdef CONFIG_DEBUG_AS_WATCHPOINT |
/* Set watchpoint on AS to ensure that nobody sets it to zero */ |
/kernel/trunk/arch/ia32/src/proc/thread.c |
---|
34,5 → 34,5 |
*/ |
void thread_create_arch(thread_t *t) |
{ |
t->tls = 0; |
t->arch.tls = 0; |
} |