2005-04-17 06:20:36 +08:00
|
|
|
/*
|
|
|
|
* linux/include/asm-x86_64/timex.h
|
|
|
|
*
|
|
|
|
* x86-64 architecture timex specifications
|
|
|
|
*/
|
|
|
|
#ifndef _ASMx8664_TIMEX_H
|
|
|
|
#define _ASMx8664_TIMEX_H
|
|
|
|
|
|
|
|
#include <asm/8253pit.h>
|
|
|
|
#include <asm/msr.h>
|
|
|
|
#include <asm/vsyscall.h>
|
|
|
|
#include <asm/hpet.h>
|
|
|
|
|
|
|
|
#define CLOCK_TICK_RATE PIT_TICK_RATE /* Underlying HZ */
|
|
|
|
|
|
|
|
typedef unsigned long long cycles_t;
|
|
|
|
|
|
|
|
static inline cycles_t get_cycles (void)
|
|
|
|
{
|
|
|
|
unsigned long long ret;
|
|
|
|
|
|
|
|
rdtscll(ret);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
extern unsigned int cpu_khz;
|
|
|
|
|
2005-06-23 15:08:13 +08:00
|
|
|
extern int read_current_timer(unsigned long *timer_value);
|
|
|
|
#define ARCH_HAS_READ_CURRENT_TIMER 1
|
|
|
|
|
2005-04-17 06:20:36 +08:00
|
|
|
extern struct vxtime_data vxtime;
|
|
|
|
|
|
|
|
#endif
|