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\n");  in cpuinfo_tsc_freq()
53 		pr_err("Failed to find TSC frequency in /proc/cpuinfo\n");  in cpuinfo_tsc_freq()
64 	static double tsc;  in arch_get_tsc_freq()  local
68 		return tsc;  in arch_get_tsc_freq()
80 		tsc = cpuinfo_tsc_freq();  in arch_get_tsc_freq()
81 		return tsc;  in arch_get_tsc_freq()
85 	/* TSC frequency is not enumerated */  in arch_get_tsc_freq()
87 		tsc = cpuinfo_tsc_freq();  in arch_get_tsc_freq()
88 		return tsc;  in arch_get_tsc_freq()
91 	tsc = (u64)c * (u64)b / (u64)a;  in arch_get_tsc_freq()
92 	return tsc;  in arch_get_tsc_freq()