Rev 2920 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2920 | Rev 2946 | ||
---|---|---|---|
Line 49... | Line 49... | ||
49 | int udebug_mem_read(int phoneid, void *buffer, uintptr_t addr, size_t n); |
49 | int udebug_mem_read(int phoneid, void *buffer, uintptr_t addr, size_t n); |
50 | int udebug_mem_write(int phoneid, void *data, uintptr_t addr, size_t n); |
50 | int udebug_mem_write(int phoneid, void *data, uintptr_t addr, size_t n); |
51 | int udebug_args_read(int phoneid, thash_t tid, sysarg_t *buffer); |
51 | int udebug_args_read(int phoneid, thash_t tid, sysarg_t *buffer); |
52 | int udebug_regs_read(int phoneid, thash_t tid, void *buffer); |
52 | int udebug_regs_read(int phoneid, thash_t tid, void *buffer); |
53 | int udebug_regs_write(int phoneid, thash_t tid, void *buffer); |
53 | int udebug_regs_write(int phoneid, thash_t tid, void *buffer); |
54 | int udebug_go(int phoneid, thash_t tid, int *ev_type, int *val0, int *val1); |
54 | int udebug_go(int phoneid, thash_t tid, udebug_event_t *ev_type, |
- | 55 | sysarg_t *val0, sysarg_t *val1); |
|
55 | int udebug_stop(int phoneid, thash_t tid); |
56 | int udebug_stop(int phoneid, thash_t tid); |
56 | 57 | ||
57 | #endif |
58 | #endif |
58 | 59 | ||
59 | /** @} |
60 | /** @} |