fetch_arm_insn
size = fetch_arm_insn(pc, spsr, &insn);
insn_size = fetch_arm_insn(tf->tf_pc, tf->tf_spsr, &insn);
int fetch_arm_insn(uint64_t, uint64_t, uint32_t *);