update_benchmark  771 ffmpeg.c           update_benchmark(NULL);
update_benchmark  783 ffmpeg.c           update_benchmark("encode_audio %d.%d", ost->file_index, ost->index);
update_benchmark 1098 ffmpeg.c               update_benchmark(NULL);
update_benchmark 1109 ffmpeg.c               update_benchmark("encode_video %d.%d", ost->file_index, ost->index);
update_benchmark 1639 ffmpeg.c                       update_benchmark(NULL);
update_benchmark 1641 ffmpeg.c                       update_benchmark("flush %s %d.%d", desc, ost->file_index, ost->index);
update_benchmark 1824 ffmpeg.c           update_benchmark(NULL);
update_benchmark 1826 ffmpeg.c           update_benchmark("decode_audio %d.%d", ist->file_index, ist->st->index);
update_benchmark 1959 ffmpeg.c           update_benchmark(NULL);
update_benchmark 1962 ffmpeg.c           update_benchmark("decode_video %d.%d", ist->file_index, ist->st->index);