| /kernel/trunk/generic/src/proc/scheduler.c |
|---|
| 283,7 → 283,7 |
| if (atomic_get(&haltstate)) |
| halt(); |
| if (THREAD) { |
| spinlock_lock(&THREAD->lock); |
| #ifndef CONFIG_FPU_LAZY |
| 295,7 → 295,6 |
| */ |
| spinlock_unlock(&THREAD->lock); |
| interrupts_restore(THREAD->saved_context.ipl); |
| return; |
| } |
| 343,9 → 342,9 |
| void scheduler_separated_stack(void) |
| { |
| int priority; |
| ASSERT(CPU != NULL); |
| if (THREAD) { |
| /* must be run after the switch to scheduler stack */ |
| after_thread_ran(); |