Searched defs:vc_check (Results 1 – 1 of 1) sorted by relevance
130 DRD_(vc_check)(result); in DRD_() local157 DRD_(vc_check)(result); in DRD_() local186 DRD_(vc_check)(result); in DRD_() local192 DRD_(vc_check)(result); in DRD_() local232 DRD_(vc_check)(result); in DRD_() local295 void DRD_(vc_check)(const VectorClock* const vc) in DRD_() argument