update_benchmark  920 fftools/ffmpeg.c     update_benchmark(NULL);
update_benchmark  939 fftools/ffmpeg.c         update_benchmark("encode_audio %d.%d", ost->file_index, ost->index);
update_benchmark 1267 fftools/ffmpeg.c         update_benchmark(NULL);
update_benchmark 1285 fftools/ffmpeg.c             update_benchmark("encode_video %d.%d", ost->file_index, ost->index);
update_benchmark 1919 fftools/ffmpeg.c             update_benchmark(NULL);
update_benchmark 1931 fftools/ffmpeg.c             update_benchmark("flush_%s %d.%d", desc, ost->file_index, ost->index);
update_benchmark 2273 fftools/ffmpeg.c     update_benchmark(NULL);
update_benchmark 2275 fftools/ffmpeg.c     update_benchmark("decode_audio %d.%d", ist->file_index, ist->st->index);
update_benchmark 2358 fftools/ffmpeg.c     update_benchmark(NULL);
update_benchmark 2360 fftools/ffmpeg.c     update_benchmark("decode_video %d.%d", ist->file_index, ist->st->index);