Rev 2898 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2898 | Rev 2899 | ||
|---|---|---|---|
| Line 37... | Line 37... | ||
| 37 | 37 | ||
| 38 | #include <ipc/ipc.h> |
38 | #include <ipc/ipc.h> |
| 39 | 39 | ||
| 40 | int udebug_begin(call_t *call); |
40 | int udebug_begin(call_t *call); |
| 41 | int udebug_end(void); |
41 | int udebug_end(void); |
| - | 42 | int udebug_set_evmask(udebug_evmask_t mask); |
|
| 42 | 43 | ||
| 43 | int udebug_go(thread_t *t, call_t *call); |
44 | int udebug_go(thread_t *t, call_t *call); |
| 44 | int udebug_stop(thread_t *t, call_t *call); |
45 | int udebug_stop(thread_t *t, call_t *call); |
| 45 | 46 | ||
| 46 | int udebug_thread_read(void **buffer, size_t buf_size, size_t *n); |
47 | int udebug_thread_read(void **buffer, size_t buf_size, size_t *n); |