Searched refs:sync1 (Results 1 – 1 of 1) sorted by relevance
319 SyncClock *sync1[kClocks]; in ClockFuzzer() local322 sync1[i] = new SyncClock(); in ClockFuzzer()338 thr1[tid]->acquire(&cache, sync1[cid]); in ClockFuzzer()344 thr1[tid]->release(&cache, sync1[cid]); in ClockFuzzer()350 thr1[tid]->acq_rel(&cache, sync1[cid]); in ClockFuzzer()356 thr1[tid]->ReleaseStore(&cache, sync1[cid]); in ClockFuzzer()362 sync1[cid]->Reset(&cache); in ClockFuzzer()386 sync1[i]->DebugDump(printf); in ClockFuzzer()393 if (!thr0[tid]->verify(thr1[tid]) || !sync0[cid]->verify(sync1[cid])) { in ClockFuzzer()414 sync1[i]->Reset(&cache); in ClockFuzzer()