my_timer_elapsed_cpu  387 src/search.cpp    time = (UseCpuTime) ? my_timer_elapsed_cpu(timer) : my_timer_elapsed_real(timer);
my_timer_elapsed_cpu  283 src/util.cpp      cpu = my_timer_elapsed_cpu(timer);
my_timer_elapsed_cpu  108 src/util.h     extern double my_timer_elapsed_cpu  (const my_timer_t * timer);