Searched refs:hpet_time (Results 1 – 1 of 1) sorted by relevance
520 const double hpet_time = (double)(hpet_end - hpet_start)/h_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()