Home | History | Annotate | Download | only in helgrind

Lines Matching refs:vts1

3253    VTS   *vts1, *vts2;
3264    vts1 = VtsID__to_VTS(vi1);
3267    VTS__join(temp_max_sized_VTS, vts1,vts2);
3308    VTS  *vts1, *vts2;
3312    vts1 = VtsID__to_VTS(vi1);
3314    tl_assert(vts1 != vts2);
3315    diffthrid = VTS__cmpLEQ(vts1, vts2);