hpctimer_wtime_gettimeofday  105 ompi/tools/mpisync/hpctimer.c static double hpctimer_wtime_gettimeofday(void);
hpctimer_wtime_gettimeofday  112 ompi/tools/mpisync/hpctimer.c     {"gettimeofday", NULL, NULL, NULL, hpctimer_wtime_gettimeofday},