hpctimer_initialize   55 ompi/tools/mpisync/hpctimer.h int hpctimer_initialize(const char *timername);
hpctimer_initialize  108 ompi/tools/mpisync/sync.c     int rc = hpctimer_initialize("gettimeofday");