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 */ 17extern int clkintr_pending; 18extern u_int i8254_freq; 19extern int i8254_max_count; 20extern uint64_t tsc_freq; 21extern int tsc_is_invariant; 22extern int tsc_perf_stat; 23#ifdef SMP 24extern int smp_tsc; 25#endif 26 27void i8254_init(void); 28void i8254_delay(int); 29void clock_init(void); 30 31/* 32 * Driver to clock driver interface. 33 */ 34 35void startrtclock(void); 36void init_TSC(void); 37void resume_TSC(void); 38 39#define HAS_TIMER_SPKR 1 40int timer_spkr_acquire(void); 41int timer_spkr_release(void); 42void timer_spkr_setfreq(int freq); 43 44#endif /* _KERNEL */ 45 46#endif /* !_MACHINE_CLOCK_H_ */ 47