1/*
2 * Garrett Wollman, September 1994.
3 * This file is in the public domain.
4 * Kernel interface to machine-dependent clock driver.
5 *
6 *	JNPR: clock.h,v 1.6.2.1 2007/08/29 09:36:05 girish
7 *	from: src/sys/alpha/include/clock.h,v 1.5 1999/12/29 04:27:55 peter
8 * $FreeBSD$
9 */
10
11#ifndef _MACHINE_CLOCK_H_
12#define	_MACHINE_CLOCK_H_
13
14#include <sys/bus.h>
15
16#ifdef _KERNEL
17
18extern int cpu_clock;
19
20#define wall_cmos_clock 0
21#define adjkerntz 0
22
23/*
24 * Default is to assume a CPU pipeline clock of 100Mhz, and
25 * that CP0_COUNT increments every 2 cycles.
26 */
27#define MIPS_DEFAULT_HZ		(100 * 1000 * 1000)
28
29void	mips_timer_early_init(uint64_t clock_hz);
30void	mips_timer_init_params(uint64_t, int);
31
32extern uint64_t	counter_freq;
33extern int	clocks_running;
34
35/*
36 * The 'platform_timecounter' pointer may be used to register a
37 * platform-specific timecounter.
38 *
39 * A default timecounter based on the CP0 COUNT register is always registered.
40 */
41extern struct timecounter *platform_timecounter;
42
43#endif
44
45#endif /* !_MACHINE_CLOCK_H_ */
46