Searched refs:vc_check (Results 1 – 2 of 2) 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
91 void DRD_(vc_check)(const VectorClock* const vc);