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