Searched defs:vc_check (Results 1 – 1 of 1) sorted by relevance
62 DRD_(vc_check)(vc); in DRD_() local133 DRD_(vc_check)(result); in DRD_() local160 DRD_(vc_check)(result); in DRD_() local189 DRD_(vc_check)(result); in DRD_() local195 DRD_(vc_check)(result); in DRD_() local235 DRD_(vc_check)(result); in DRD_() local298 void DRD_(vc_check)(const VectorClock* const vc) in DRD_() argument