32,20 → 32,10 |
|
int debug_args_read(unsigned phoneid, unsigned tid, unsigned *buffer) |
{ |
unsigned copied; |
int rc; |
|
rc = ipc_call_sync_4_1(phoneid, IPC_M_DEBUG_ALL, UDEBUG_M_ARGS_READ, |
tid, (sysarg_t)buffer, 6 * sizeof(unsigned), &copied); |
|
if (copied != 6 * sizeof(unsigned)) { |
printf("Warning: read %d bytes from syscall args instead of 24!\n", |
copied); |
return ipc_call_sync_3_0(phoneid, IPC_M_DEBUG_ALL, UDEBUG_M_ARGS_READ, |
tid, (sysarg_t)buffer); |
} |
|
return rc; |
} |
|
int debug_go(unsigned phoneid, unsigned tid, unsigned *ev_type, |
unsigned *sc_id, unsigned *sc_rc) |
{ |