clock.h revision 178193
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: head/sys/amd64/include/clock.h 178193 2008-04-14 08:00:00Z phk $ 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 */ 17extern int clkintr_pending; 18extern int statclock_disable; 19extern u_int i8254_freq; 20extern int i8254_max_count; 21extern uint64_t tsc_freq; 22extern int tsc_is_broken; 23 24void i8254_init(void); 25 26/* 27 * Driver to clock driver interface. 28 */ 29 30void init_TSC(void); 31void init_TSC_tc(void); 32 33#define HAS_TIMER_SPKR 1 34int timer_spkr_acquire(void); 35int timer_spkr_release(void); 36void timer_spkr_setfreq(int freq); 37 38#endif /* _KERNEL */ 39 40#endif /* !_MACHINE_CLOCK_H_ */ 41