xref: /freebsd/sys/i386/include/clock.h (revision 39beb93c3f8bdbf72a61fda42300b5ebed7390c8)
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$
7  */
8 
9 #ifndef _MACHINE_CLOCK_H_
10 #define	_MACHINE_CLOCK_H_
11 
12 #ifdef _KERNEL
13 /*
14  * i386 to clock driver interface.
15  * XXX large parts of the driver and its interface are misplaced.
16  */
17 extern int	clkintr_pending;
18 extern int	statclock_disable;
19 extern u_int	i8254_freq;
20 extern int	i8254_max_count;
21 extern uint64_t	tsc_freq;
22 extern int	tsc_is_broken;
23 extern int	tsc_is_invariant;
24 
25 void	i8254_init(void);
26 
27 /*
28  * Driver to clock driver interface.
29  */
30 
31 void	startrtclock(void);
32 void	timer_restore(void);
33 void	init_TSC(void);
34 void	init_TSC_tc(void);
35 
36 #define	HAS_TIMER_SPKR 1
37 int	timer_spkr_acquire(void);
38 int	timer_spkr_release(void);
39 void	timer_spkr_setfreq(int freq);
40 
41 #endif /* _KERNEL */
42 
43 #endif /* !_MACHINE_CLOCK_H_ */
44