Lines Matching refs:IRExpr_BBPTR
1116 /* IRExpr_BBPTR() => Need to pass pointer to guest state to helper. */1121 mkIRExprVec_4(IRExpr_BBPTR(),1129 mkIRExprVec_4(IRExpr_BBPTR(),13095 IRExpr** args = mkIRExprVec_3 (IRExpr_BBPTR(), mkU32(rd), mkU32(sel));13107 IRExpr** args = mkIRExprVec_3 (IRExpr_BBPTR(), mkU64(rd), mkU64(sel));