ptrace_write_int
int ptrace_write_int(struct proc *, vaddr_t, u_int32_t);
return ptrace_write_int(p, bpt->addr, bpt->contents);
return ptrace_write_int(p, bpt->addr, bpins);