Rev 4605 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4605 | Rev 4616 | ||
|---|---|---|---|
| Line 47... | Line 47... | ||
| 47 | int udebug_thread_read(void **buffer, size_t buf_size, size_t *n); |
47 | int udebug_thread_read(void **buffer, size_t buf_size, size_t *n); |
| 48 | int udebug_args_read(thread_t *t, void **buffer); |
48 | int udebug_args_read(thread_t *t, void **buffer); |
| 49 | 49 | ||
| 50 | int udebug_mem_read(unative_t uspace_addr, size_t n, void **buffer); |
50 | int udebug_mem_read(unative_t uspace_addr, size_t n, void **buffer); |
| 51 | 51 | ||
| - | 52 | /* CHECKPOINTING */ |
|
| - | 53 | int udebug_task_get_memory_areas(void **buffer, size_t buf_size, size_t *n); |
|
| - | 54 | int udebug_mem_write(void *buffer, void *start, size_t n); |
|
| - | 55 | int udebug_copy_kstack(void *kstack, void **buffer, size_t n); |
|
| - | 56 | int udebug_thread_get_thread_struct(thread_t *t, void **buffer); |
|
| - | 57 | int udebug_restore_thread_struct(void *buffer, thread_t *t_old); |
|
| - | 58 | int udebug_restore_kstack(void *buffer, size_t size, thread_t *t); |
|
| - | 59 | ||
| 52 | #endif |
60 | #endif |
| 53 | 61 | ||
| 54 | /** @} |
62 | /** @} |
| 55 | */ |
63 | */ |