35,6 → 35,8 |
#ifndef KERN_UDEBUG_H_ |
#define KERN_UDEBUG_H_ |
|
#include <ipc/ipc.h> |
|
typedef enum { /* udebug_method_t */ |
|
/** Start debugging the recipient. |
184,9 → 186,21 |
UDEBUG_TS_SHUTDOWN |
} udebug_task_state_t; |
|
/** Debugging part of task_t structure. |
*/ |
typedef struct { |
udebug_task_state_t dt_state; |
call_t *begin_call; |
int not_stoppable_count; |
struct task *debugger; |
udebug_evmask_t evmask; |
} udebug_task_t; |
|
struct task; |
struct thread; |
|
void udebug_task_init(udebug_task_t *ut); |
|
void udebug_syscall_event(unative_t a1, unative_t a2, unative_t a3, |
unative_t a4, unative_t a5, unative_t a6, unative_t id, unative_t rc, |
bool end_variant); |