8 #include "../../../util/tsc.h"
21  * Derive the TSC frequency in Hz from the /proc/cpuinfo, for example:
36 		pr_err("Failed to read /proc/cpuinfo for TSC frequency");  in cpuinfo_tsc_freq()
51 		pr_err("Failed to find TSC frequency in /proc/cpuinfo");  in cpuinfo_tsc_freq()
62 	static double tsc;  in arch_get_tsc_freq()  local
66 		return tsc;  in arch_get_tsc_freq()
78 		tsc = cpuinfo_tsc_freq();  in arch_get_tsc_freq()
79 		return tsc;  in arch_get_tsc_freq()
83 	/* TSC frequency is not enumerated */  in arch_get_tsc_freq()
85 		tsc = cpuinfo_tsc_freq();  in arch_get_tsc_freq()
86 		return tsc;  in arch_get_tsc_freq()
89 	tsc = (double)c * (double)b / (double)a;  in arch_get_tsc_freq()
90 	return tsc;  in arch_get_tsc_freq()