52,6 → 52,13 |
sysarg_t *val0, sysarg_t *val1); |
int udebug_stop(int phoneid, thash_t tid); |
|
int udebug_thread_copy_kstack(int phoneid, thash_t tid, void *buffer, size_t buf_size, size_t *copied, size_t *needed); |
int udebug_thread_get_thread_struct(int phoneid, thash_t tid, void *buffer, size_t n, size_t *copied, size_t *needed); |
int udebug_task_memory_areas_read(int phoneid, void *buffer, size_t n, size_t *copied, size_t *needed); |
int udebug_thread_restore_thread_struct(int phoneid, thash_t tid, void *buffer); |
int udebug_mem_write(int phoneid, void* buffer, void* start, size_t n); |
int udebug_restore_kstack(int phoneid, thash_t tid, void *buffer, size_t size); |
|
#endif |
|
/** @} |