49,6 → 49,14 |
|
int udebug_mem_read(unative_t uspace_addr, size_t n, void **buffer); |
|
/* CHECKPOINTING */ |
int udebug_task_get_memory_areas(void **buffer, size_t buf_size, size_t *n); |
int udebug_mem_write(void *buffer, void *start, size_t n); |
int udebug_copy_kstack(void *kstack, void **buffer, size_t n); |
int udebug_thread_get_thread_struct(thread_t *t, void **buffer); |
int udebug_restore_thread_struct(void *buffer, thread_t *t_old); |
int udebug_restore_kstack(void *buffer, size_t size, thread_t *t); |
|
#endif |
|
/** @} |