/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"); |