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.
17 extern int clkintr_pending;
18 extern u_int i8254_freq;
19 extern int i8254_max_count;
20 extern uint64_t tsc_freq;
21 extern int tsc_is_invariant;
22 extern int tsc_perf_stat;
27 void i8254_init(void);
28 void i8254_delay(int);
29 void clock_init(void);
32 * Driver to clock driver interface.
35 void startrtclock(void);
37 void resume_TSC(void);
39 #define HAS_TIMER_SPKR 1
40 int timer_spkr_acquire(void);
41 int timer_spkr_release(void);
42 void timer_spkr_setfreq(int freq);
46 #endif /* !_MACHINE_CLOCK_H_ */