Searched refs:RC_REFCLOCKGHZ (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/lib/rcce/
H A Drcce.c28 double RC_REFCLOCKGHZ; // baseline CPU frequency (GHz) variable
77 RC_REFCLOCKGHZ = atof(*(++(*argv)));
79 if(RC_REFCLOCKGHZ == 0) {
84 RC_REFCLOCKGHZ = ((double)tscperms) / 1000000.0;
85 printf("Reference clock computed to be %.2g\n", RC_REFCLOCKGHZ);
145 return ( ((double)rdtsc())/((double)RC_REFCLOCKGHZ*1.e9));
/barrelfish-2018-10-04/include/rcce/
H A DRCCE_lib.h95 extern double RC_REFCLOCKGHZ;
137 #pragma omp threadprivate (RC_COREID, RC_MY_COREID, RC_REFCLOCKGHZ)

Completed in 31 milliseconds