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);