Home | History | Annotate | Download | only in priv

Lines Matching full:guest_hi

1069       return IRExpr_Get(offsetof(VexGuestMIPS64State, guest_HI), Ity_I64);
1071       return IRExpr_Get(offsetof(VexGuestMIPS32State, guest_HI), Ity_I32);
1243       stmt(IRStmt_Put(offsetof(VexGuestMIPS64State, guest_HI), e));
1245       stmt(IRStmt_Put(offsetof(VexGuestMIPS32State, guest_HI), e));