Rev 2837 | Rev 2850 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2837 | Rev 2838 | ||
---|---|---|---|
Line 8... | Line 8... | ||
8 | #include <unistd.h> |
8 | #include <unistd.h> |
9 | #include <syscall.h> |
9 | #include <syscall.h> |
10 | #include <ipc/ipc.h> |
10 | #include <ipc/ipc.h> |
11 | #include <fibril.h> |
11 | #include <fibril.h> |
12 | #include <errno.h> |
12 | #include <errno.h> |
- | 13 | #include <udebug.h> |
|
13 | 14 | ||
14 | #include "syscalls.h" |
15 | #include "syscalls.h" |
15 | #include "errors.h" |
16 | #include "errors.h" |
16 | #include "debug_api.h" |
17 | #include "debug_api.h" |
17 | 18 | ||
Line 157... | Line 158... | ||
157 | 158 | ||
158 | /* Run thread until a syscall is executed */ |
159 | /* Run thread until a syscall is executed */ |
159 | rc = debug_go(phoneid, threadid_buf[0], |
160 | rc = debug_go(phoneid, threadid_buf[0], |
160 | &ev_type, &sc_id, &sc_rc); |
161 | &ev_type, &sc_id, &sc_rc); |
161 | 162 | ||
- | 163 | printf("rc = %d, ev_type=%d\n", rc, ev_type); |
|
- | 164 | if (ev_type == UDEBUG_EVENT_FINISHED) { |
|
- | 165 | printf("thread %u debugging finished\n", threadid_buf[0]); |
|
- | 166 | break; |
|
- | 167 | } |
|
- | 168 | ||
162 | /* Read syscall arguments */ |
169 | /* Read syscall arguments */ |
163 | if (rc >= 0) { |
170 | if (rc >= 0) { |
164 | rc = debug_args_read(phoneid, threadid_buf[0], |
171 | rc = debug_args_read(phoneid, threadid_buf[0], |
165 | sc_args); |
172 | sc_args); |
166 | } |
173 | } |