hpctimer_wtime_tsc  100 ompi/tools/mpisync/hpctimer.c static double hpctimer_wtime_tsc(void);
hpctimer_wtime_tsc  113 ompi/tools/mpisync/hpctimer.c     {"tsc", hpctimer_tsc_initialize, NULL, NULL, hpctimer_wtime_tsc}