1/*-
2 * Kernel interface to machine-dependent clock driver.
3 * Garrett Wollman, September 1994.
4 * This file is in the public domain.
5 *
| 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 200889 2009-12-23 04:48:42Z marcel $
| 6 * $FreeBSD: head/sys/ia64/include/clock.h 205234 2010-03-17 00:37:15Z marcel $
|
7 */
8
9#ifndef _MACHINE_CLOCK_H_
10#define _MACHINE_CLOCK_H_
11
| 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;
17
18#endif
19
| |
20#endif /* !_MACHINE_CLOCK_H_ */
| 12#endif /* !_MACHINE_CLOCK_H_ */
|