Searched refs:idx32 (Results 1 – 1 of 1) sorted by relevance
1200 int addr32, base32, idx32; in get_eff_addr_sib() local1203 idx32 = indx & 0xffffffff; in get_eff_addr_sib()1205 addr32 = base32 + idx32 * (1 << X86_SIB_SCALE(insn->sib.value)); in get_eff_addr_sib()