Rev 2904 | Rev 2912 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2904 | Rev 2905 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | 34 | ||
35 | #ifndef LIBC_UDEBUG_H_ |
35 | #ifndef LIBC_UDEBUG_H_ |
36 | #define LIBC_UDEBUG_H_ |
36 | #define LIBC_UDEBUG_H_ |
37 | 37 | ||
38 | #include <kernel/udebug/udebug.h> |
38 | #include <kernel/udebug/udebug.h> |
- | 39 | #include <sys/types.h> |
|
- | 40 | #include <libarch/types.h> |
|
39 | 41 | ||
- | 42 | typedef sysarg_t thash_t; |
|
- | 43 | ||
40 | int udebug_begin(unsigned phoneid); |
44 | int udebug_begin(int phoneid); |
41 | int udebug_end(unsigned phoneid); |
45 | int udebug_end(int phoneid); |
42 | int udebug_set_evmask(unsigned phoneid, udebug_evmask_t mask); |
46 | int udebug_set_evmask(int phoneid, udebug_evmask_t mask); |
43 | int udebug_thread_read(unsigned phoneid, void *buffer, unsigned n, |
47 | int udebug_thread_read(int phoneid, void *buffer, size_t n, |
44 | unsigned *copied, unsigned *needed); |
48 | size_t *copied, size_t *needed); |
45 | int udebug_mem_read(unsigned phoneid, void *buffer, unsigned addr, unsigned n); |
49 | int udebug_mem_read(int phoneid, void *buffer, uintptr_t addr, size_t n); |
46 | int udebug_args_read(unsigned phoneid, unsigned tid, unsigned *buffer); |
50 | int udebug_args_read(int phoneid, thash_t tid, sysarg_t *buffer); |
47 | int udebug_go(unsigned phoneid, unsigned tid, unsigned *ev_type, |
51 | int udebug_go(int phoneid, thash_t tid, int *ev_type, int *val0, int *val1); |
48 | unsigned *sc_id, unsigned *sc_rc); |
- | |
49 | int udebug_stop(unsigned phoneid, unsigned tid); |
52 | int udebug_stop(int phoneid, thash_t tid); |
50 | 53 | ||
51 | #endif |
54 | #endif |
52 | 55 | ||
53 | /** @} |
56 | /** @} |
54 | */ |
57 | */ |