get_benchmark_time_stamps  130 fftools/ffmpeg.c static BenchmarkTimeStamps get_benchmark_time_stamps(void);
get_benchmark_time_stamps  674 fftools/ffmpeg.c         BenchmarkTimeStamps t = get_benchmark_time_stamps();
get_benchmark_time_stamps 4869 fftools/ffmpeg.c     current_time = ti = get_benchmark_time_stamps();
get_benchmark_time_stamps 4874 fftools/ffmpeg.c         current_time = get_benchmark_time_stamps();