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