Lines Matching refs:old_vc
1099 VectorClock old_vc; in DRD_() local
1101 DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(joiner)); in DRD_()
1104 DRD_(thread_update_conflict_set)(joiner, &old_vc); in DRD_()
1106 DRD_(vc_cleanup)(&old_vc); in DRD_()
1139 VectorClock old_vc; in thread_combine_vc_sync() local
1141 DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(tid)); in thread_combine_vc_sync()
1145 str1 = DRD_(vc_aprint)(&old_vc); in thread_combine_vc_sync()
1154 DRD_(thread_update_conflict_set)(tid, &old_vc); in thread_combine_vc_sync()
1157 DRD_(vc_cleanup)(&old_vc); in thread_combine_vc_sync()
1476 const VectorClock* const old_vc) in DRD_()
1484 tl_assert(old_vc); in DRD_()
1499 tl_assert(DRD_(vc_lte)(old_vc, new_vc)); in DRD_()
1514 = !DRD_(vc_lte)(old_vc, &q->vc); in DRD_()
1533 for ( ; q && !DRD_(vc_lte)(&q->vc, old_vc); q = q->thr_prev) { in DRD_()
1535 = !DRD_(vc_lte)(old_vc, &q->vc); in DRD_()