| 0,0 → 1,29 |
|---|
| /** @addtogroup generic |
| * @{ |
| */ |
| /** @file |
| */ |
| |
| #ifndef KERN_UDEBUG_OPS_H_ |
| #define KERN_UDEBUG_OPS_H_ |
| |
| #include <ipc/ipc.h> |
| |
| int udebug_begin(call_t *call); |
| int udebug_end(void); |
| |
| int udebug_go(thread_t *t, call_t *call); |
| |
| int udebug_thread_read(void **buffer, size_t *n); |
| int udebug_args_read(thread_t *t, void **buffer); |
| |
| int udebug_regs_read(thread_t *t, void **buffer, size_t *n); |
| int udebug_regs_write(thread_t *t, void *buffer); |
| |
| int udebug_mem_read(unative_t uspace_addr, size_t n, void **buffer); |
| int udebug_mem_write(unative_t uspace_addr, void *data, size_t n); |
| |
| #endif |
| |
| /** @} |
| */ |