Rev 2826 | Rev 2870 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2826 | Rev 2839 | ||
|---|---|---|---|
| Line 98... | Line 98... | ||
| 98 | /** Debugging stuff */ |
98 | /** Debugging stuff */ |
| 99 | udebug_task_state_t dt_state; |
99 | udebug_task_state_t dt_state; |
| 100 | call_t *debug_begin_call; |
100 | call_t *debug_begin_call; |
| 101 | int not_stoppable_count; |
101 | int not_stoppable_count; |
| 102 | 102 | ||
| - | 103 | /** Kernel answerbox */ |
|
| 103 | answerbox_t kernel_box; |
104 | answerbox_t kernel_box; |
| - | 105 | /** Thread used to service kernel answerbox */ |
|
| 104 | struct thread *kb_thread; |
106 | struct thread *kb_thread; |
| - | 107 | /** True if kb_thread != NULL or is being prepared */ |
|
| - | 108 | bool kb_thread_at_hand; |
|
| 105 | 109 | ||
| 106 | /** Architecture specific task data. */ |
110 | /** Architecture specific task data. */ |
| 107 | task_arch_t arch; |
111 | task_arch_t arch; |
| 108 | 112 | ||
| 109 | /** |
113 | /** |