2 * Kernel interface to machine-dependent clock driver.
3 * Garrett Wollman, September 1994.
4 * This file is in the public domain.
9 #ifndef _MACHINE_CLOCK_H_
10 #define _MACHINE_CLOCK_H_
14 #define CLOCK_VECTOR 254
16 extern uint64_t ia64_clock_reload;
17 extern uint64_t itc_frequency;
21 #endif /* !_MACHINE_CLOCK_H_ */