| 37,6 → 37,17 |
|---|
| |
| #include <kernel/udebug/udebug.h> |
| |
| int udebug_begin(unsigned phoneid); |
| int udebug_end(unsigned phoneid); |
| int udebug_set_evmask(unsigned phoneid, udebug_evmask_t mask); |
| int udebug_thread_read(unsigned phoneid, void *buffer, unsigned n, |
| unsigned *copied, unsigned *needed); |
| int udebug_mem_read(unsigned phoneid, void *buffer, unsigned addr, unsigned n); |
| int udebug_args_read(unsigned phoneid, unsigned tid, unsigned *buffer); |
| int udebug_go(unsigned phoneid, unsigned tid, unsigned *ev_type, |
| unsigned *sc_id, unsigned *sc_rc); |
| int udebug_stop(unsigned phoneid, unsigned tid); |
| |
| #endif |
| |
| /** @} |