| 32,18 → 32,8 |
|---|
| |
| 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 rc; |
| return ipc_call_sync_3_0(phoneid, IPC_M_DEBUG_ALL, UDEBUG_M_ARGS_READ, |
| tid, (sysarg_t)buffer); |
| } |
| |
| int debug_go(unsigned phoneid, unsigned tid, unsigned *ev_type, |