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