2 * Kernel interface to machine-dependent clock driver.
3 * Garrett Wollman, September 1994.
4 * This file is in the public domain.
6 * $FreeBSD: src/sys/i386/include/clock.h,v 1.38.2.1 2002/11/02 04:41:50 iwasaki Exp $
9 #ifndef _MACHINE_CLOCK_H_
10 #define _MACHINE_CLOCK_H_
15 #include <sys/types.h>
18 typedef uint64_t tsc_uclock_t
;
19 typedef int64_t tsc_sclock_t
;
22 * i386 to clock driver interface.
23 * XXX large parts of the driver and its interface are misplaced.
26 extern int disable_rtc_set
;
27 extern u_int timer_freq
;
28 extern int timer0_max_count
;
29 extern int tsc_present
;
30 extern int tsc_invariant
;
31 extern int tsc_mpsync
;
32 extern int tsc_is_broken
;
33 extern int wall_cmos_clock
;
34 extern tsc_uclock_t tsc_frequency
;
35 extern tsc_uclock_t tsc_oneus_approx
; /* do not use for fine calc, min 1 */
38 * Driver to clock driver interface.
42 int acquire_timer2 (int mode
);
43 int release_timer2 (void);
44 int sysbeep (int pitch
, int period
);
45 void timer_restore (void);
49 #endif /* !_MACHINE_CLOCK_H_ */