416   ThreadContext *tctx = static_cast<ThreadContext*>(tctx_base);  in UpdateClockCallback()  local
417   u64 epoch = tctx->epoch1;  in UpdateClockCallback()
418   if (tctx->status == ThreadStatusRunning) {  in UpdateClockCallback()
419     epoch = tctx->thr->fast_state.epoch();  in UpdateClockCallback()
420     tctx->thr->clock.NoteGlobalAcquire(epoch);  in UpdateClockCallback()
422   thr->clock.set(&thr->proc()->clock_cache, tctx->tid, epoch);  in UpdateClockCallback()
472   ThreadContext *tctx = static_cast<ThreadContext*>(tctx_base);  in UpdateSleepClockCallback()  local
473   u64 epoch = tctx->epoch1;  in UpdateSleepClockCallback()
474   if (tctx->status == ThreadStatusRunning)  in UpdateSleepClockCallback()
475     epoch = tctx->thr->fast_state.epoch();  in UpdateSleepClockCallback()
476   thr->last_sleep_clock.set(&thr->proc()->clock_cache, tctx->tid, epoch);  in UpdateSleepClockCallback()