1/*-
 2 * Kernel interface to machine-dependent clock driver.
 3 * Garrett Wollman, September 1994.
 4 * This file is in the public domain.
 5 */
 6
 7#ifndef _MACHINE_CLOCK_H_
 8#define	_MACHINE_CLOCK_H_
 9
10#ifdef _KERNEL
11
12struct trapframe;
13
14void	decr_intr(struct trapframe *);
15
16#endif
17
18#endif /* !_MACHINE_CLOCK_H_ */