extern unsigned int cpu_khz;
extern unsigned int tsc_khz;
-/* flag for disabling the tsc */
-extern int tsc_disable;
extern void disable_TSC(void);
if (!cpu_has_tsc)
return 0;
#endif
-
-#if defined(CONFIG_X86_GENERIC) || defined(CONFIG_X86_TSC)
rdtscll(ret);
-#endif
+
return ret;
}
if (!cpu_has_tsc)
return 0;
#endif
- return (cycles_t) native_read_tsc();
+ return (cycles_t) __native_read_tsc();
}
extern void tsc_init(void);