Rev 2839 | Rev 2899 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2839 | Rev 2870 | ||
|---|---|---|---|
| Line 97... | Line 97... | ||
| 97 | 97 | ||
| 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 | struct task *debugger; |
|
| 102 | 103 | ||
| 103 | /** Kernel answerbox */ |
104 | /** Kernel answerbox */ |
| 104 | answerbox_t kernel_box; |
105 | answerbox_t kernel_box; |
| 105 | /** Thread used to service kernel answerbox */ |
106 | /** Thread used to service kernel answerbox */ |
| 106 | struct thread *kb_thread; |
107 | struct thread *kb_thread; |