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; |