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