#define _I386_TSC_H_
#define BASE_NHM_CLOCK_SOURCE 133333333ULL
+#define BASE_ART_CLOCK_SOURCE 24000000ULL /* 24Mhz */
#define IA32_PERF_STS 0x198
+#define SLOW_TSC_THRESHOLD 1000067800 /* if slower, nonzero shift required in nanotime() algorithm */
+#ifndef ASSEMBLER
extern uint64_t busFCvtt2n;
extern uint64_t busFCvtn2t;
extern uint64_t tscFreq;
extern uint32_t flex_ratio;
extern uint32_t flex_ratio_min;
extern uint32_t flex_ratio_max;
+extern uint64_t tsc_at_boot;
struct tscInfo
{
extern void tsc_get_info(tscInfo_t *info);
extern void tsc_init(void);
-
+#endif /* ASSEMBLER */
#endif /* _I386_TSC_H_ */
#endif /* KERNEL_PRIVATE */