blob: aa4220aa128c8090b52741d394ad731995a134d9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/*-
* Kernel interface to machine-dependent clock driver.
* Garrett Wollman, September 1994.
* This file is in the public domain.
*
* $FreeBSD$
*/
#ifndef _MACHINE_CLOCK_H_
#define _MACHINE_CLOCK_H_
#ifdef _KERNEL
#define CLOCK_VECTOR 254
extern uint64_t ia64_clock_reload;
extern uint64_t itc_frequency;
#endif
#endif /* !_MACHINE_CLOCK_H_ */
|