| /kernel/trunk/generic/src/proc/task.c |
|---|
| 212,11 → 212,11 |
| t = (task_t *) node->value[i]; |
| spinlock_lock(&t->lock); |
| printf("%s: address=%P, taskid=%Q, as=%P, ActiveCalls: %d", |
| printf("%s: address=%#zX, taskid=%#llX, as=%#zX, ActiveCalls: %zd", |
| t->name, t, t->taskid, t->as, atomic_get(&t->active_calls)); |
| for (j=0; j < IPC_MAX_PHONES; j++) { |
| if (t->phones[j].callee) |
| printf(" Ph(%d): %P ", j, t->phones[j].callee); |
| printf(" Ph(%zd): %#zX ", j, t->phones[j].callee); |
| } |
| printf("\n"); |
| spinlock_unlock(&t->lock); |