get_cpu_time      470 libde265-1.0.3/tools/rd-curves.cc     cpu_time = get_cpu_time();
get_cpu_time      475 libde265-1.0.3/tools/rd-curves.cc     cpu_time = get_cpu_time() - cpu_time;