read_thumb_insn
fault_instruction = read_thumb_insn(fault_pc, user);
| read_thumb_insn(fault_pc + 2, user);
u_int insn = read_thumb_insn(tf->tf_pc, user);