THUMB_INSN_SIZE
return (loc + THUMB_INSN_SIZE);
ksi.ksi_addr = (void *)(tf->tf_pc - THUMB_INSN_SIZE);
tf->tf_pc -= THUMB_INSN_SIZE;
tf->tf_pc -= THUMB_INSN_SIZE;
((fault_pc & PAGE_MASK) == (PAGE_SIZE - THUMB_INSN_SIZE)) &&
fault_pc = tf->tf_pc + THUMB_INSN_SIZE;