blob: b9970746c088e9aedeb8b333b352f77e7e3d4e0d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
/*-
* Kernel interface to machine-dependent clock driver.
* Garrett Wollman, September 1994.
* This file is in the public domain.
*
* $FreeBSD: src/sys/ia64/include/clock.h,v 1.12 2008/03/26 20:09:19 phk Exp $
*/
#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;
void pcpu_initclock(void);
#endif
#endif /* !_MACHINE_CLOCK_H_ */
|