Searched refs:vc_increment (Results 1 – 3 of 3) sorted by relevance
79 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid);
92 DRD_(vc_increment)(&sg->vc, created); in sg_init()
86 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid) in DRD_() argument