/* | |
* 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; | |
extern int read_current_timer(unsigned long *timer_value); | |
#define ARCH_HAS_READ_CURRENT_TIMER 1 | |
extern struct vxtime_data vxtime; | |
#endif |