static int get_syscall_result_regs(struct tcb *tcp) { return upeek(tcp->pid, 4 * PT_R10, &cris_r10) < 0 ? -1 : 0; }