Searched refs:resUS (Results 1 – 2 of 2) sorted by relevance
966 IRTemp resUS, in setFlags_DEP1_DEP2_shift() argument1000 widenUto32(mkexpr(resUS)), in setFlags_DEP1_DEP2_shift()
1847 IRTemp resUS, in setFlags_DEP1_DEP2_shift() argument1887 widenUto64(mkexpr(resUS)), in setFlags_DEP1_DEP2_shift()