Searched defs:old_vc (Results 1 – 4 of 4) sorted by relevance
196 VectorClock old_vc; in DRD_() local
473 VectorClock old_vc; in DRD_() local
172 VectorClock old_vc; in DRD_() local
1176 VectorClock old_vc; in DRD_() local1216 VectorClock old_vc; in thread_combine_vc_sync() local