Rev 2826 | Rev 2899 | 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 | /** |