Searched refs:vc_copy (Results 1 – 7 of 7) sorted by relevance
77 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs);
73 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs) in DRD_() argument82 DRD_(vc_copy)(lhs, rhs); in DRD_() local
213 DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(tid)); in DRD_()
89 DRD_(vc_copy)(&sg->vc, &creator_sg->vc); in sg_init()
475 DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(tid)); in DRD_()
174 DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(tid)); in DRD_()
1182 DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(joiner)); in DRD_()1222 DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(tid)); in thread_combine_vc_sync()