| 343,6 → 343,9 |
|---|
| /* Messing with thread structures, avoid deadlock */ |
| ipl = interrupts_disable(); |
| spinlock_lock(&tasks_lock); |
| |
| printf("taskid name ctx address as active calls callee\n"); |
| printf("------ ---------- --- ---------- ---------- ------------ ------>\n"); |
| |
| for (cur = tasks_btree.leaf_head.next; cur != &tasks_btree.leaf_head; cur = cur->next) { |
| btree_node_t *node; |
| 356,11 → 359,10 |
|---|
| t = (task_t *) node->value[i]; |
| |
| spinlock_lock(&t->lock); |
| printf("%s(%lld): context=%ld, address=%#zx, as=%#zx, ActiveCalls: %zd", |
| t->name, t->taskid, t->context, t, t->as, atomic_get(&t->active_calls)); |
| for (j=0; j < IPC_MAX_PHONES; j++) { |
| printf("%-6lld %-10s %-3ld %#10zx %#10zx %12zd", t->taskid, t->name, t->context, t, t->as, atomic_get(&t->active_calls)); |
| for (j = 0; j < IPC_MAX_PHONES; j++) { |
| if (t->phones[j].callee) |
| printf(" Ph(%zd): %#zx ", j, t->phones[j].callee); |
| printf(" %zd:%#zx", j, t->phones[j].callee); |
| } |
| printf("\n"); |
| spinlock_unlock(&t->lock); |