7 #include "../../../util/tsc.h"
20  * Derive the TSC frequency in Hz from the /proc/cpuinfo, for example:
35 		pr_err("Failed to read /proc/cpuinfo for TSC frequency");  in cpuinfo_tsc_freq()
50 		pr_err("Failed to find TSC frequency in /proc/cpuinfo");  in cpuinfo_tsc_freq()
61 	static double tsc;  in arch_get_tsc_freq()  local
65 		return tsc;  in arch_get_tsc_freq()
77 		tsc = cpuinfo_tsc_freq();  in arch_get_tsc_freq()
78 		return tsc;  in arch_get_tsc_freq()
82 	/* TSC frequency is not enumerated */  in arch_get_tsc_freq()
84 		tsc = cpuinfo_tsc_freq();  in arch_get_tsc_freq()
85 		return tsc;  in arch_get_tsc_freq()
88 	tsc = (double)c * (double)b / (double)a;  in arch_get_tsc_freq()
89 	return tsc;  in arch_get_tsc_freq()