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/amd64/include/clock.h,v 1.61 2008/10/21 00:38:00 jkim Exp $
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 init_TSC(void);
33 void init_TSC_tc(void);
34
35 #define HAS_TIMER_SPKR 1
36 int timer_spkr_acquire(void);
37 int timer_spkr_release(void);
38 void timer_spkr_setfreq(int freq);
39
40 #endif /* _KERNEL */
41
42 #endif /* !_MACHINE_CLOCK_H_ */
43 Cache object: a0ae6fba2a4b27b0da5bc2cd3f2bb6d0
|