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