Searched refs:xsavehdr_23_16 (Results 1 – 1 of 1) sorted by relevance
12139 IRTemp xsavehdr_23_16 = newTemp(Ity_I64); in dis_XRSTOR() local12140 assign( xsavehdr_23_16, in dis_XRSTOR()12156 binop(Iop_Or64, mkexpr(xcomp_bv), mkexpr(xsavehdr_23_16)))); in dis_XRSTOR()