Rev 2067 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2067 | Rev 2068 | ||
|---|---|---|---|
| Line 499... | Line 499... | ||
| 499 | THREAD->state = Running; |
499 | THREAD->state = Running; |
| 500 | 500 | ||
| 501 | #ifdef SCHEDULER_VERBOSE |
501 | #ifdef SCHEDULER_VERBOSE |
| 502 | printf("cpu%d: tid %d (priority=%d, ticks=%lld, nrdy=%ld)\n", |
502 | printf("cpu%d: tid %d (priority=%d, ticks=%lld, nrdy=%ld)\n", |
| 503 | CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks, |
503 | CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks, |
| 504 | atomic_get(&CPU->nrdy)); |
504 | atomic_get(&CPU->nrdy)); |
| 505 | #endif |
505 | #endif |
| 506 | 506 | ||
| 507 | /* |
507 | /* |
| 508 | * Some architectures provide late kernel PA2KA(identity) |
508 | * Some architectures provide late kernel PA2KA(identity) |
| 509 | * mapping in a page fault handler. However, the page fault |
509 | * mapping in a page fault handler. However, the page fault |