x86/x86/tsc.c

58 uint64_t	tsc_freq;
128 		tsc_freq = regs[0] * 1000;
132 			tsc_freq = regs[0] | ((uint64_t)regs[1] << 32);
225 			tsc_freq = freq;
293 			tsc_freq = tmp_freq;
296 		if (tsc_freq == 0)
304 		tsc_freq = tsc2 - tsc1;
315 		if (tsc_freq_cpuid(&tmp_freq) && qabs(tsc_freq - tmp_freq) >
316 		    uqmin(tsc_freq, tmp_freq)) {
324 					    (uintmax_t)tsc_freq,
329 				tsc_freq = tmp_freq;
334 		printf("TSC clock: %ju Hz\n", (intmax_t)tsc_freq);
384 	if (tsc_freq != 0)
385 		set_cputicker(rdtsc, tsc_freq, !tsc_is_invariant);
639 	for (shift = 0; shift <= 31 && (tsc_freq >> shift) > max_freq; shift++)
673 	if (tsc_freq != 0) {
674 		tsc_timecounter.tc_frequency = tsc_freq >> shift;
772 	atomic_store_rel_64(&tsc_freq, freq);
783 	freq = atomic_load_acq_64(&tsc_freq);
788 		atomic_store_rel_64(&tsc_freq, freq);
795 SYSCTL_PROC(_machdep, OID_AUTO, tsc_freq,