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 |