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