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: releng/7.4/sys/i386/include/clock.h 187567 2009-01-21 20:53:36Z jkim $
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 pscnt;
19 extern int psdiv;
20 extern int statclock_disable;
21 extern u_int timer_freq;
22 extern int timer0_max_count;
23 extern uint64_t tsc_freq;
24 extern int tsc_is_broken;
25 extern int tsc_is_invariant;
26
27 void i8254_init(void);
28
29 /*
30 * Driver to clock driver interface.
31 */
32
33 int acquire_timer2(int mode);
34 int release_timer2(void);
35 int rtcin(int reg);
36 void writertc(int reg, unsigned char val);
37 int sysbeep(int pitch, int period);
38 void timer_restore(void);
39 void init_TSC(void);
40 void init_TSC_tc(void);
41
42 #endif /* _KERNEL */
43
44 #endif /* !_MACHINE_CLOCK_H_ */
Cache object: 732c21170a74787f977a4d8498fcb362
|