/branches/tracing/kernel/generic/include/udebug/udebug.h |
---|
175,6 → 175,8 |
#ifdef KERNEL |
#include <synch/mutex.h> |
typedef enum { |
/** Task is not being debugged */ |
UDEBUG_TS_INACTIVE, |
189,6 → 191,9 |
/** Debugging part of task_t structure. |
*/ |
typedef struct { |
/** Synchronize debug ops on this task / access to this structure */ |
mutex_t lock; |
udebug_task_state_t dt_state; |
call_t *begin_call; |
int not_stoppable_count; |