2005-04-16 22:20:36 +00:00
|
|
|
#ifndef _ASMi386_TIMER_H
|
|
|
|
#define _ASMi386_TIMER_H
|
|
|
|
#include <linux/init.h>
|
2005-09-03 22:57:07 +00:00
|
|
|
#include <linux/pm.h>
|
2005-04-16 22:20:36 +00:00
|
|
|
|
|
|
|
#define TICK_SIZE (tick_nsec / 1000)
|
2007-03-05 08:30:35 +00:00
|
|
|
|
2005-04-16 22:20:36 +00:00
|
|
|
void setup_pit_timer(void);
|
2007-03-05 08:30:35 +00:00
|
|
|
unsigned long long native_sched_clock(void);
|
2007-03-05 08:30:36 +00:00
|
|
|
unsigned long native_calculate_cpu_khz(void);
|
2007-03-05 08:30:35 +00:00
|
|
|
|
2005-04-16 22:20:36 +00:00
|
|
|
extern int timer_ack;
|
2007-02-13 12:26:21 +00:00
|
|
|
extern int no_timer_check;
|
2007-02-13 12:26:21 +00:00
|
|
|
extern int no_sync_cmos_clock;
|
2005-06-01 02:03:46 +00:00
|
|
|
extern int recalibrate_cpu_khz(void);
|
2005-04-16 22:20:36 +00:00
|
|
|
|
2007-03-05 08:30:35 +00:00
|
|
|
#ifndef CONFIG_PARAVIRT
|
|
|
|
#define get_scheduled_cycles(val) rdtscll(val)
|
2007-03-05 08:30:36 +00:00
|
|
|
#define calculate_cpu_khz() native_calculate_cpu_khz()
|
2007-03-05 08:30:35 +00:00
|
|
|
#endif
|
|
|
|
|
2005-04-16 22:20:36 +00:00
|
|
|
#endif
|