aarch64_insn_read
int aarch64_insn_read(void *addr, u32 *insnp);
if (aarch64_insn_read((void *)pc, &replaced))
err = aarch64_insn_read((void *)bpt->bpt_addr, (u32 *)bpt->saved_instr);
bad = aarch64_insn_read(&((u32 *)kaddr)[i], &val);
if (aarch64_insn_read((void *)regs->pc, &insn))
if (aarch64_insn_read(ip, &replaced)) {