Finish moving the kernel from tsc_freq (32 bits) to tsc_frequency (64 bits).
[dragonfly.git] / sys / platform / pc64 / include / clock.h
blobc72ea92ec2da25707e9e64ff94a8fb2afe7f8ec2
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/amd64/include/clock.h,v 1.54 2007/01/23 08:01:19 bde Exp $
7 * $DragonFly: src/sys/platform/pc64/include/clock.h,v 1.2 2008/05/10 17:24:10 dillon Exp $
8 */
10 #ifndef _MACHINE_CLOCK_H_
11 #define _MACHINE_CLOCK_H_
13 #ifdef _KERNEL
15 * i386 to clock driver interface.
16 * XXX large parts of the driver and its interface are misplaced.
18 extern int adjkerntz;
19 extern int clkintr_pending;
20 extern int pscnt;
21 extern int psdiv;
22 extern int statclock_disable;
23 extern u_int timer_freq;
24 extern int timer0_max_count;
25 extern int tsc_present;
26 extern int tsc_is_broken;
27 extern int wall_cmos_clock;
30 * Driver to clock driver interface.
33 int acquire_timer2(int mode);
34 int release_timer2(void);
35 int rtcin(int val);
36 int sysbeep(int pitch, int period);
37 void init_TSC(void);
38 void init_TSC_tc(void);
40 #endif /* _KERNEL */
42 #endif /* !_MACHINE_CLOCK_H_ */