2 * Kernel interface to machine-dependent clock driver.
3 * Garrett Wollman, September 1994.
4 * This file is in the public domain.
6 * $FreeBSD: src/sys/i386/include/clock.h,v 1.38.2.1 2002/11/02 04:41:50 iwasaki Exp $
9 #ifndef _MACHINE_CLOCK_H_
10 #define _MACHINE_CLOCK_H_
15 #include <sys/types.h>
19 * i386 to clock driver interface.
20 * XXX large parts of the driver and its interface are misplaced.
23 extern int disable_rtc_set;
24 extern u_int timer_freq;
25 extern int timer0_max_count;
26 extern int tsc_present;
27 extern int64_t tsc_frequency;
28 extern int tsc_is_broken;
29 extern int wall_cmos_clock;
30 extern int apic_8254_intr;
33 * Driver to clock driver interface.
37 int acquire_timer2 (int mode);
38 int release_timer2 (void);
39 int sysbeep (int pitch, int period);
40 void timer_restore (void);
44 #endif /* !_MACHINE_CLOCK_H_ */