idx32 1107 arch/x86/lib/insn-eval.c int addr32, base32, idx32; idx32 1110 arch/x86/lib/insn-eval.c idx32 = indx & 0xffffffff; idx32 1112 arch/x86/lib/insn-eval.c addr32 = base32 + idx32 * (1 << X86_SIB_SCALE(insn->sib.value));