Searched refs:sync0 (Results 1 – 1 of 1) sorted by relevance
318 SimpleSyncClock *sync0[kClocks]; in ClockFuzzer() local321 sync0[i] = new SimpleSyncClock(); in ClockFuzzer()337 thr0[tid]->acquire(sync0[cid]); in ClockFuzzer()343 thr0[tid]->release(sync0[cid]); in ClockFuzzer()349 thr0[tid]->acq_rel(sync0[cid]); in ClockFuzzer()355 thr0[tid]->ReleaseStore(sync0[cid]); in ClockFuzzer()361 sync0[cid]->Reset(); in ClockFuzzer()393 if (!thr0[tid]->verify(thr1[tid]) || !sync0[cid]->verify(sync1[cid])) { in ClockFuzzer()405 for (uptr j = 0; j < sync0[i]->size; j++) in ClockFuzzer()406 printf("%s%llu", j == 0 ? "" : ",", sync0[i]->clock[j]); in ClockFuzzer()