Searched defs:vc_check (Results 1 – 1 of 1) sorted by relevance
131 DRD_(vc_check)(result); in DRD_() local158 DRD_(vc_check)(result); in DRD_() local187 DRD_(vc_check)(result); in DRD_() local193 DRD_(vc_check)(result); in DRD_() local233 DRD_(vc_check)(result); in DRD_() local296 void DRD_(vc_check)(const VectorClock* const vc) in DRD_() argument