74 	uint64_t start = rdtsc();  in self_ipi_isr()
76 	tsc_eoi += rdtsc() - start;  in self_ipi_isr()
81 	uint64_t start = rdtsc();  in x2apic_self_ipi()
83 	tsc_ipi += rdtsc() - start;  in x2apic_self_ipi()
88 	uint64_t start = rdtsc();  in apic_self_ipi()
91 	tsc_ipi += rdtsc() - start;  in apic_self_ipi()
191 	uint64_t start = rdtsc();  in ipi()
193 	tsc_ipi += rdtsc() - start;  in ipi()
201 	t = rdtsc() + 2000;  in ipi_halt()
202 	while (rdtsc() < t)  in ipi_halt()
426 	wrmsr(MSR_IA32_TSCDEADLINE, rdtsc());  in tscdeadline_immed()
433 	wrmsr(MSR_IA32_TSCDEADLINE, rdtsc()+3000);  in tscdeadline()
558 		t1 = rdtsc();  in do_test()
566 		t2 = rdtsc();  in do_test()