2005-01-06 22:18:23 +00:00
|
|
|
/*-
|
2000-09-29 13:46:07 +00:00
|
|
|
* 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
|
|
|
|
|
2003-01-06 01:39:25 +00:00
|
|
|
#define CLOCK_VECTOR 254
|
|
|
|
|
2003-08-04 05:13:18 +00:00
|
|
|
extern uint64_t ia64_clock_reload;
|
|
|
|
extern uint64_t itc_frequency;
|
2002-10-04 01:23:58 +00:00
|
|
|
|
2000-09-29 13:46:07 +00:00
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif /* !_MACHINE_CLOCK_H_ */
|