Searched refs:tsc_time (Results 1 – 1 of 1) sorted by relevance
519 const double tsc_time = (double)(tsc_end - tsc_start)/t_hz; in timer_sanity_check() local522 const double time_diff = fabs(tsc_time - hpet_time)*100/tsc_time; in timer_sanity_check()523 printf("Measured time: TSC = %.4f, HPET = %.4f\n", tsc_time, hpet_time); in timer_sanity_check()