117     RestoreStack(last.tid(), last.epoch(), &trace, 0);  in MutexDestroy()
190   thr->mset.Add(s->GetId(), true, thr->fast_state.epoch());  in MutexPostLock()
285   thr->mset.Add(s->GetId(), false, thr->fast_state.epoch());  in MutexPostReadLock()
416   u64 epoch = tctx->epoch1;  in UpdateClockCallback()  local
418     epoch = tctx->thr->fast_state.epoch();  in UpdateClockCallback()
419   thr->clock.set(&thr->proc()->clock_cache, tctx->tid, epoch);  in UpdateClockCallback()
459   u64 epoch = tctx->epoch1;  in UpdateSleepClockCallback()  local
461     epoch = tctx->thr->fast_state.epoch();  in UpdateSleepClockCallback()
462   thr->last_sleep_clock.set(&thr->proc()->clock_cache, tctx->tid, epoch);  in UpdateSleepClockCallback()
479   thr->clock.set(thr->fast_state.epoch());  in AcquireImpl()
487   thr->clock.set(thr->fast_state.epoch());  in ReleaseImpl()
488   thr->fast_synch_epoch = thr->fast_state.epoch();  in ReleaseImpl()
496   thr->clock.set(thr->fast_state.epoch());  in ReleaseStoreImpl()
497   thr->fast_synch_epoch = thr->fast_state.epoch();  in ReleaseStoreImpl()
505   thr->clock.set(thr->fast_state.epoch());  in AcquireReleaseImpl()
506   thr->fast_synch_epoch = thr->fast_state.epoch();  in AcquireReleaseImpl()