161,6 → 161,7 |
int task_connect(int taskid) |
{ |
int rc; |
unsigned evmask; |
|
printf("ipc_connect_kbox(%d)... ", taskid); |
rc = ipc_connect_kbox(taskid); |
173,8 → 174,9 |
printf("-> %d\n", rc); |
if (rc < 0) return rc; |
|
printf("udebug_set_evmask(0x%x)... ", UDEBUG_EM_ALL); |
rc = udebug_set_evmask(app_phone, UDEBUG_EM_ALL); |
evmask = UDEBUG_EM_ALL & ~(UDEBUG_EM_SYSCALL_B | UDEBUG_EM_SYSCALL_E); |
printf("udebug_set_evmask(0x%x)... ", evmask); |
rc = udebug_set_evmask(app_phone, evmask); |
printf("-> %d\n", rc); |
if (rc < 0) return rc; |
|
229,10 → 231,13 |
|
while (!abort_debug) { |
|
printf("go\n"); |
/* Run thread until an event occurs */ |
rc = udebug_go(app_phone, thread_hash, |
&ev_type, &val0, &val1); |
|
printf("..ev type %d\n", ev_type); |
|
// printf("rc = %d, ev_type=%d\n", rc, ev_type); |
if (ev_type == UDEBUG_EVENT_FINISHED) { |
printf("thread %u debugging finished\n", thread_id); |
258,6 → 263,10 |
printf("thread 0x%x exited\n", val0); |
abort_debug = true; |
break; |
case UDEBUG_EVENT_BREAKPOINT: |
printf("breakpoint reached\n"); |
usleep(2000*2000); |
break; |
default: |
printf("unknown event type %d\n", ev_type); |
break; |