Searched refs:read_clock (Results 1 – 3 of 3) sorted by relevance
41 Free(read_clock); in Reset()181 if (s->read_clock) { in ResetClocks()182 InternalFree(s->read_clock, &cache); in ResetClocks()183 s->read_clock = nullptr; in ResetClocks()
64 VectorClock *read_clock; // Used for rw mutexes only. member
194 thr->clock.Acquire(s->read_clock); in MutexPostLock()345 thr->clock.Release(&s->read_clock); in MutexReadUnlock()384 thr->clock.Release(&s->read_clock); in MutexReadOrWriteUnlock()