2 * Kernel interface to machine-dependent clock driver.
3 * Garrett Wollman, September 1994.
4 * This file is in the public domain.
9 #ifndef _MACHINE_CLOCK_H_
10 #define _MACHINE_CLOCK_H_
14 * i386 to clock driver interface.
15 * XXX large parts of the driver and its interface are misplaced.
18 extern int disable_rtc_set;
19 extern int statclock_disable;
20 extern u_int timer_freq;
21 extern int timer0_max_count;
22 extern u_int tsc_freq;
23 extern int tsc_is_broken;
24 extern int wall_cmos_clock;
26 extern int apic_8254_intr;
30 * Driver to clock driver interface.
34 void DELAY __P((int usec));
35 int acquire_timer0 __P((int rate,
36 void (*function)(struct clockframe *frame)));
37 int acquire_timer2 __P((int mode));
38 int release_timer0 __P((void));
39 int release_timer2 __P((void));
41 int rtcin __P((int val));
43 int acquire_timer1 __P((int mode));
44 int release_timer1 __P((void));
46 int sysbeep __P((int pitch, int period));
50 #endif /* !_MACHINE_CLOCK_H_ */