Rev 2183 | Rev 2227 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2183 | Rev 2216 | ||
|---|---|---|---|
| Line 397... | Line 397... | ||
| 397 | 397 | ||
| 398 | uint64_t cycles; |
398 | uint64_t cycles; |
| 399 | char suffix; |
399 | char suffix; |
| 400 | order(task_get_accounting(t), &cycles, &suffix); |
400 | order(task_get_accounting(t), &cycles, &suffix); |
| 401 | 401 | ||
| 402 | printf("%-6lld %-10s %-3ld %#10zx %#10zx %9llu%c %7zd " |
402 | printf("%-6llu %-10s %-3ld %#10zx %#10zx %9llu%c %7zd " |
| 403 | "%6zd", t->taskid, t->name, t->context, t, t->as, |
403 | "%6zd", t->taskid, t->name, t->context, t, t->as, |
| 404 | cycles, suffix, t->refcount, |
404 | cycles, suffix, t->refcount, |
| 405 | atomic_get(&t->active_calls)); |
405 | atomic_get(&t->active_calls)); |
| 406 | for (j = 0; j < IPC_MAX_PHONES; j++) { |
406 | for (j = 0; j < IPC_MAX_PHONES; j++) { |
| 407 | if (t->phones[j].callee) |
407 | if (t->phones[j].callee) |
| Line 484... | Line 484... | ||
| 484 | * and no new threads can be created. |
484 | * and no new threads can be created. |
| 485 | */ |
485 | */ |
| 486 | 486 | ||
| 487 | ipc_cleanup(); |
487 | ipc_cleanup(); |
| 488 | futex_cleanup(); |
488 | futex_cleanup(); |
| 489 | klog_printf("Cleanup of task %lld completed.", TASK->taskid); |
489 | klog_printf("Cleanup of task %llu completed.", TASK->taskid); |
| 490 | } |
490 | } |
| 491 | 491 | ||
| 492 | /** Kernel thread used to kill the userspace task when its main thread exits. |
492 | /** Kernel thread used to kill the userspace task when its main thread exits. |
| 493 | * |
493 | * |
| 494 | * This thread waits until the main userspace thread (i.e. uninit) exits. |
494 | * This thread waits until the main userspace thread (i.e. uninit) exits. |