kernel: Make SMP support default (and non-optional).
[dragonfly.git] / sys / platform / vkernel64 / include / clock.h
CommitLineData
da673940
JG
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: src/sys/i386/include/clock.h,v 1.38.2.1 2002/11/02 04:41:50 iwasaki Exp $
da673940
JG
7 */
8
9#ifndef _MACHINE_CLOCK_H_
10#define _MACHINE_CLOCK_H_
11
12#ifdef _KERNEL
13
14#ifndef _SYS_TYPES_H_
15#include <sys/types.h>
16#endif
17
18/*
19 * i386 to clock driver interface.
20 * XXX large parts of the driver and its interface are misplaced.
21 */
22extern int adjkerntz;
23extern int disable_rtc_set;
da673940
JG
24extern u_int timer_freq;
25extern int timer0_max_count;
26extern int tsc_present;
27extern int64_t tsc_frequency;
28extern int tsc_is_broken;
29extern int wall_cmos_clock;
da673940 30extern int apic_8254_intr;
da673940
JG
31
32/*
33 * Driver to clock driver interface.
34 */
35
36int rtcin (int val);
37int acquire_timer2 (int mode);
38int release_timer2 (void);
39int sysbeep (int pitch, int period);
40void timer_restore (void);
41
42#endif /* _KERNEL */
43
44#endif /* !_MACHINE_CLOCK_H_ */