Lines Matching full:min_time_interval
1351 // 'min_time_interval' is the minimum time interval between snapshots.
1356 static Time min_time_interval = 0;
1443 min_time_interval = cull_snapshots();
1447 earliest_possible_time_of_next_snapshot = my_time + min_time_interval;
