Rev 4605 | Show entire file | Regard 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 | */ |