Searched refs:tsc1 (Results 1 – 4 of 4) sorted by relevance
62 uint64_t tsc0, tsc1, freq; in apic_guest_code() local81 tsc1 = rdtsc(); in apic_guest_code()89 freq = (tmict - tmcct) * tdcrs[i].divide_count * tsc_hz / (tsc1 - tsc0); in apic_guest_code()
756 u64 tsc1, tsc2, delta, ref1, ref2; in pit_hpet_ptimer_calibrate_cpu() local801 tsc1 = tsc_read_refs(&ref1, hpet); in pit_hpet_ptimer_calibrate_cpu()814 if (tsc1 == ULLONG_MAX || tsc2 == ULLONG_MAX) in pit_hpet_ptimer_calibrate_cpu()817 tsc2 = (tsc2 - tsc1) * 1000000LL; in pit_hpet_ptimer_calibrate_cpu()
4211 static int intel_pt_tsc_cmp(uint64_t tsc1, uint64_t tsc2) in intel_pt_tsc_cmp() argument4215 if (tsc1 == tsc2) in intel_pt_tsc_cmp()4218 if (tsc1 < tsc2) { in intel_pt_tsc_cmp()4219 if (tsc2 - tsc1 < halfway) in intel_pt_tsc_cmp()4224 if (tsc1 - tsc2 < halfway) in intel_pt_tsc_cmp()
464 tsc1: hid@10 { label