double bsp_rdtsc() { return ((double) getLinuxHighResolutionTscCounter()/1.0); }
void metric_read_linuxtimers(int tid, int idx, double values[]) { #ifdef TAU_LINUX_TIMERS static double ratings = TauGetMHzRatings(); values[idx] = (double)getLinuxHighResolutionTscCounter() / ratings; #endif }