clock.h revision 177642 
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: head/sys/ia64/include/clock.h 177642 2008-03-26 20:09:21Z phk $
7 */
8
9#ifndef _MACHINE_CLOCK_H_
10#define	_MACHINE_CLOCK_H_
11
12#ifdef _KERNEL
13
14#define	CLOCK_VECTOR	254
15
16extern uint64_t	ia64_clock_reload;
17extern uint64_t	itc_frequency;
18
19#endif
20
21#endif /* !_MACHINE_CLOCK_H_ */
22