Lines Matching defs:old_vc
1099 VectorClock old_vc;
1101 DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(joiner));
1104 DRD_(thread_update_conflict_set)(joiner, &old_vc);
1106 DRD_(vc_cleanup)(&old_vc);
1139 VectorClock old_vc;
1141 DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(tid));
1145 str1 = DRD_(vc_aprint)(&old_vc);
1154 DRD_(thread_update_conflict_set)(tid, &old_vc);
1157 DRD_(vc_cleanup)(&old_vc);
1472 * updated from old_vc to its current value, either because a new segment has
1476 const VectorClock* const old_vc)
1484 tl_assert(old_vc);
1499 tl_assert(DRD_(vc_lte)(old_vc, new_vc));
1514 = !DRD_(vc_lte)(old_vc, &q->vc);
1533 for ( ; q && !DRD_(vc_lte)(&q->vc, old_vc); q = q->thr_prev) {
1535 = !DRD_(vc_lte)(old_vc, &q->vc);
