my_timer_reset    188 src/search.cpp    my_timer_reset(SearchCurrent->timer);
my_timer_reset    103 src/util.h     extern void   my_timer_reset        (my_timer_t * timer);