| /branches/tracing/kernel/generic/include/proc/task.h |
|---|
| 100,8 → 100,12 |
| call_t *debug_begin_call; |
| int not_stoppable_count; |
| /** Kernel answerbox */ |
| answerbox_t kernel_box; |
| /** Thread used to service kernel answerbox */ |
| struct thread *kb_thread; |
| /** True if kb_thread != NULL or is being prepared */ |
| bool kb_thread_at_hand; |
| /** Architecture specific task data. */ |
| task_arch_t arch; |