2017-07-27 12:22:14 +02:00
|
|
|
#ifndef _ASM_X86_TIMEX_H
|
|
|
|
|
#define _ASM_X86_TIMEX_H
|
|
|
|
|
|
2018-02-02 15:53:42 +01:00
|
|
|
#include <asm/processor.h>
|
2017-07-27 12:22:14 +02:00
|
|
|
//#include <asm/tsc.h>
|
|
|
|
|
|
|
|
|
|
/* Assume we use the PIT time source for the clock tick */
|
|
|
|
|
#define CLOCK_TICK_RATE PIT_TICK_RATE
|
|
|
|
|
|
|
|
|
|
#define ARCH_HAS_READ_CURRENT_TIMER
|
|
|
|
|
|
|
|
|
|
#endif /* _ASM_X86_TIMEX_H */
|
