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 clkintr_pending;
19 extern int disable_rtc_set;
22 extern int statclock_disable;
23 extern u_int timer_freq;
24 extern int timer0_max_count;
25 extern uint64_t tsc_freq;
26 extern int tsc_is_broken;
27 extern int wall_cmos_clock;
30 * Driver to clock driver interface.
34 int acquire_timer2(int mode);
35 int release_timer2(void);
37 void writertc(int reg, unsigned char val);
38 int sysbeep(int pitch, int period);
39 void timer_restore(void);
41 void init_TSC_tc(void);
45 #endif /* !_MACHINE_CLOCK_H_ */