Searched refs:tsc_end (Results 1 – 3 of 3) sorted by relevance
63 uint64_t tsc_start, tsc_end; in tsc_calibrate_hpet() local72 tsc_end = tsc_read(); in tsc_calibrate_hpet()78 VERIFY3P(tsc_end, >, tsc_start); in tsc_calibrate_hpet()80 tsc_sum += tsc_end - tsc_start; in tsc_calibrate_hpet()
79 uint64_t tsc_now, tsc_end; in pit_sanity_check() local86 tsc_end = tsc_now + TSC_MIN_TICKS; in pit_sanity_check()96 while (tsc_now < tsc_end) in pit_sanity_check()
1208 uint64_t tsc_now, tsc_end, tsc_amt, tsc_hz; in apic_calibrate_tsc() local1230 tsc_end = tsc_now + tsc_amt; in apic_calibrate_tsc()1233 while (tsc_now < tsc_end) in apic_calibrate_tsc()1246 tsc_amt += tsc_now - tsc_end; in apic_calibrate_tsc()