Searched refs:vc_copy (Results 1 – 7 of 7) sorted by relevance
78 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs);
71 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs) in DRD_() argument80 DRD_(vc_copy)(lhs, rhs); in DRD_() local
83 DRD_(vc_copy)(&sg->vc, &creator_sg->vc); in sg_init()
214 DRD_(vc_copy)(&old_vc, &DRD_(g_threadinfo)[tid].last->vc); in DRD_()
476 DRD_(vc_copy)(&old_vc, &DRD_(g_threadinfo)[tid].last->vc); in DRD_()
175 DRD_(vc_copy)(&old_vc, &DRD_(g_threadinfo)[tid].last->vc); in DRD_()
1090 DRD_(vc_copy)(&old_vc, &DRD_(g_threadinfo)[joiner].last->vc); in DRD_()1132 DRD_(vc_copy)(&old_vc, &DRD_(g_threadinfo)[tid].last->vc); in thread_combine_vc_sync()