Searched refs:vts1 (Results 1 – 2 of 2) sorted by relevance
123 hb(vts1, vts2) = vts1 happens before or is equal to vts2
3463 VTS *vts1, *vts2; in VtsID__join2_WRK() local3474 vts1 = VtsID__to_VTS(vi1); in VtsID__join2_WRK()3477 VTS__join(temp_max_sized_VTS, vts1,vts2); in VtsID__join2_WRK()3518 VTS *vts1, *vts2; in VtsID__findFirst_notLEQ() local3522 vts1 = VtsID__to_VTS(vi1); in VtsID__findFirst_notLEQ()3524 tl_assert(vts1 != vts2); in VtsID__findFirst_notLEQ()3525 diffthrid = VTS__cmpLEQ(vts1, vts2); in VtsID__findFirst_notLEQ()