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 |
|
/** @} |