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: src/sys/i386/include/clock.h,v 1.38.2.1 2002/11/02 04:41:50 iwasaki Exp $
7  */
8 
9 #ifndef _MACHINE_CLOCK_H_
10 #define	_MACHINE_CLOCK_H_
11 
12 #ifdef _KERNEL
13 
14 #ifndef _SYS_TYPES_H_
15 #include <sys/types.h>
16 #endif
17 
18 typedef uint64_t tsc_uclock_t;
19 typedef int64_t tsc_sclock_t;
20 
21 /*
22  * x86 to clock driver interface.
23  * XXX large parts of the driver and its interface are misplaced.
24  */
25 extern int	adjkerntz;
26 extern int	disable_rtc_set;
27 extern int	tsc_present;
28 extern int	tsc_invariant;
29 extern int	tsc_mpsync;
30 extern int	wall_cmos_clock;
31 extern tsc_uclock_t tsc_frequency;
32 extern tsc_uclock_t tsc_oneus_approx;	/* do not use for fine calc, min 1 */
33 
34 #endif /* _KERNEL */
35 
36 #endif /* !_MACHINE_CLOCK_H_ */
37