aarch64_insn_write
int aarch64_insn_write(void *addr, u32 insn);
return aarch64_insn_write((void *)bpt->bpt_addr,
return aarch64_insn_write((void *)bpt->bpt_addr,
ret = aarch64_insn_write(tp, insn);