ptrace_read_insn
rc = ptrace_read_insn(p, locr0->pc, &curinstr);
rc = ptrace_read_insn(p, va, &p->p_md.md_ss_instr);
int ptrace_read_insn(struct proc *, vaddr_t, uint32_t *);