327,7 → 327,7 |
* Both tasks and address spaces are different. |
* Replace the old one with the new one. |
*/ |
as_install(as2); |
as_switch(as1, as2); |
} |
TASK = THREAD->task; |
} |
335,7 → 335,7 |
THREAD->state = Running; |
|
#ifdef SCHEDULER_VERBOSE |
printf("cpu%d: tid %d (priority=%d,ticks=%d,nrdy=%d)\n", CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks, CPU->nrdy); |
printf("cpu%d: tid %d (priority=%d,ticks=%d,nrdy=%d)\n", CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks, atomic_get(&CPU->nrdy)); |
#endif |
|
/* |