1 files changed, 46 insertions, 0 deletions

diff --git a/sys/x86/include/clock.h b/sys/x86/include/clock.h
new file mode 100644
index 000000000000..86a4541568ed
--- /dev/null
+++ b/sys/x86/include/clock.h
@@ -0,0 +1,46 @@
+/*-
+ * Kernel interface to machine-dependent clock driver.
+ * Garrett Wollman, September 1994.
+ * This file is in the public domain.
+ *
+ * $FreeBSD$
+ */
+
+#ifndef _MACHINE_CLOCK_H_
+#define	_MACHINE_CLOCK_H_
+
+#ifdef _KERNEL
+/*
+ * i386 to clock driver interface.
+ * XXX large parts of the driver and its interface are misplaced.
+ */
+extern int	clkintr_pending;
+extern u_int	i8254_freq;
+extern int	i8254_max_count;
+extern uint64_t	tsc_freq;
+extern int	tsc_is_invariant;
+extern int	tsc_perf_stat;
+#ifdef SMP
+extern int	smp_tsc;
+#endif
+
+void	i8254_init(void);
+void	i8254_delay(int);
+void	clock_init(void);
+
+/*
+ * Driver to clock driver interface.
+ */
+
+void	startrtclock(void);
+void	init_TSC(void);
+void	resume_TSC(void);
+
+#define	HAS_TIMER_SPKR 1
+int	timer_spkr_acquire(void);
+int	timer_spkr_release(void);
+void	timer_spkr_setfreq(int freq);
+
+#endif /* _KERNEL */
+
+#endif /* !_MACHINE_CLOCK_H_ */