read_insn
insn = read_insn(tf->tf_pc - INSN_SIZE, true);
u_int insn = read_insn(addr, false);
fault_instruction = read_insn(fault_pc, user);
(read_insn(tf->tf_pc, false) & 0x05200000) != 0x04200000))) {
u_int insn = read_insn(tf->tf_pc, user);