1 #ifndef _ASMi386_TIMER_H
2 #define _ASMi386_TIMER_H
3 #include <linux/init.h>
6 #define TICK_SIZE (tick_nsec / 1000)
8 void setup_pit_timer(void);
9 unsigned long long native_sched_clock(void);
10 unsigned long native_calculate_cpu_khz(void);
13 extern int no_timer_check
;
14 extern int no_sync_cmos_clock
;
15 extern int recalibrate_cpu_khz(void);
17 #ifndef CONFIG_PARAVIRT
18 #define get_scheduled_cycles(val) rdtscll(val)
19 #define calculate_cpu_khz() native_calculate_cpu_khz()