timername         120 ompi/tools/mpisync/hpctimer.c int hpctimer_initialize(const char *timername)
timername         131 ompi/tools/mpisync/hpctimer.c         if (strcasecmp(timername, hpctimer_timers[i].name) == 0) {
timername          55 ompi/tools/mpisync/hpctimer.h int hpctimer_initialize(const char *timername);