Finish moving the kernel from tsc_freq (32 bits) to tsc_frequency (64 bits).
[dragonfly.git] / sys / platform / vkernel / include / clock.h
blob6465b616cbf1482d222b998fef1437e7249483b2
1 /*
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 $
7 * $DragonFly: src/sys/platform/vkernel/include/clock.h,v 1.2 2008/05/10 17:24:11 dillon Exp $
8 */
10 #ifndef _MACHINE_CLOCK_H_
11 #define _MACHINE_CLOCK_H_
13 #ifdef _KERNEL
15 #ifndef _SYS_TYPES_H_
16 #include <sys/types.h>
17 #endif
20 * i386 to clock driver interface.
21 * XXX large parts of the driver and its interface are misplaced.
23 extern int adjkerntz;
24 extern int disable_rtc_set;
25 extern int statclock_disable;
26 extern u_int timer_freq;
27 extern int timer0_max_count;
28 extern int tsc_present;
29 extern int64_t tsc_frequency;
30 extern int tsc_is_broken;
31 extern int wall_cmos_clock;
32 #ifdef APIC_IO
33 extern int apic_8254_intr;
34 #endif
37 * Driver to clock driver interface.
40 int rtcin (int val);
41 int acquire_timer2 (int mode);
42 int release_timer2 (void);
43 int sysbeep (int pitch, int period);
44 void timer_restore (void);
46 #endif /* _KERNEL */
48 #endif /* !_MACHINE_CLOCK_H_ */