ptrace_read_int
int ptrace_read_int(struct proc *, vaddr_t, u_int32_t *);
error = ptrace_read_int(p, bpt->addr, &bpt->contents);
error = ptrace_read_int(p, pc, &ins.bits);