Searched refs:marking_time (Results 1 – 1 of 1) sorted by relevance
4048 double marking_time = 0.0; in RunInParallel() local4050 TimedScope scope(&marking_time); in RunInParallel()4063 static_cast<void*>(this), marking_time); in RunInParallel()