| /kernel/trunk/generic/src/proc/thread.c |
|---|
| 418,10 → 418,10 |
| thread_t *t; |
| t = (thread_t *) node->value[i]; |
| printf("%s: address=%P, tid=%d, state=%s, task=%P, code=%P, stack=%P, cpu=", |
| printf("%s: address=%#zX, tid=%zd, state=%s, task=%#zX, code=%#zX, stack=%#zX, cpu=", |
| t->name, t, t->tid, thread_states[t->state], t->task, t->thread_code, t->kstack); |
| if (t->cpu) |
| printf("cpu%d ", t->cpu->id); |
| printf("cpu%zd ", t->cpu->id); |
| else |
| printf("none"); |
| printf("\n"); |