Lines Matching defs:old_vc
1088 VectorClock old_vc;
1090 DRD_(vc_copy)(&old_vc, &DRD_(g_threadinfo)[joiner].last->vc);
1093 DRD_(thread_update_conflict_set)(joiner, &old_vc);
1095 DRD_(vc_cleanup)(&old_vc);
1130 VectorClock old_vc;
1132 DRD_(vc_copy)(&old_vc, &DRD_(g_threadinfo)[tid].last->vc);
1137 str1 = DRD_(vc_aprint)(&old_vc);
1146 DRD_(thread_update_conflict_set)(tid, &old_vc);
1149 DRD_(vc_cleanup)(&old_vc);
1487 * updated from old_vc to its current value, either because a new segment has
1491 const VectorClock* const old_vc)
1499 tl_assert(old_vc);
1515 tl_assert(DRD_(vc_lte)(old_vc, new_vc));
1530 = !DRD_(vc_lte)(old_vc, &q->vc);
1549 for ( ; q && !DRD_(vc_lte)(&q->vc, old_vc); q = q->prev) {
1551 = !DRD_(vc_lte)(old_vc, &q->vc);