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$
7 */
8
9#ifndef _MACHINE_CLOCK_H_
10#define	_MACHINE_CLOCK_H_
11
12#ifdef _KERNEL
13
14struct trapframe;
15
16void	decr_intr(struct trapframe *);
17
18#endif
19
20#endif /* !_MACHINE_CLOCK_H_ */
21