Rev 2897 | Rev 2899 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2897 | Rev 2898 | ||
|---|---|---|---|
| Line 39... | Line 39... | ||
| 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 | 42 | ||
| 43 | int udebug_go(thread_t *t, call_t *call); |
43 | int udebug_go(thread_t *t, call_t *call); |
| - | 44 | int udebug_stop(thread_t *t, call_t *call); |
|
| 44 | 45 | ||
| 45 | int udebug_thread_read(void **buffer, size_t buf_size, size_t *n); |
46 | int udebug_thread_read(void **buffer, size_t buf_size, size_t *n); |
| 46 | int udebug_args_read(thread_t *t, void **buffer); |
47 | int udebug_args_read(thread_t *t, void **buffer); |
| 47 | 48 | ||
| 48 | int udebug_regs_read(thread_t *t, void **buffer, size_t *n); |
49 | int udebug_regs_read(thread_t *t, void **buffer, size_t *n); |