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); |