Searched defs:overall_timer (Results 1 – 1 of 1) sorted by relevance
2318 std::unique_ptr<Timer> overall_timer = clock_->GetNewTimer(); in SearchLockedShared() local2339 std::unique_ptr<Timer> overall_timer = clock_->GetNewTimer(); in SearchLockedExclusive() local2674 std::unique_ptr<Timer> overall_timer = clock_->GetNewTimer(); in GetNextPage() local