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$ 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 adjkerntz; 18 extern int clkintr_pending; 19 extern int disable_rtc_set; 20 extern int pscnt; 21 extern int psdiv; 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; 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 val); 36 int sysbeep(int pitch, int period); 37 void init_TSC(void); 38 void init_TSC_tc(void); 39 40 #endif /* _KERNEL */ 41 42 #endif /* !_MACHINE_CLOCK_H_ */ 43