Searched refs:time_to_marking_task (Results 1 – 1 of 1) sorted by relevance
654 const double time_to_marking_task = CurrentTimeToMarkingTask(); in MarkingComplete() local655 if (time_to_marking_task == 0.0 || time_to_marking_task > overshoot_ms) { in MarkingComplete()660 time_to_marking_task, overshoot_ms); in MarkingComplete()669 time_to_marking_task, overshoot_ms); in MarkingComplete()