1 /*- 2 * Kernel interface to machine-dependent clock driver. 3 * Garrett Wollman, September 1994. 4 * This file is in the public domain. 5 * 6 * $FreeBSD: src/sys/ia64/include/clock.h,v 1.12 2008/03/26 20:09:19 phk Exp $ 7 */ 8 9 #ifndef _MACHINE_CLOCK_H_ 10 #define _MACHINE_CLOCK_H_ 11 12 #ifdef _KERNEL 13 14 #define CLOCK_VECTOR 254 15 16 extern uint64_t ia64_clock_reload; 17 extern uint64_t itc_frequency; 18 19 void pcpu_initclock(void); 20 21 #endif 22 23 #endif /* !_MACHINE_CLOCK_H_ */ 24