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: stable/9/sys/powerpc/include/clock.h 177642 2008-03-26 20:09:21Z phk $
7  */
8 
9 #ifndef _MACHINE_CLOCK_H_
10 #define	_MACHINE_CLOCK_H_
11 
12 #ifdef _KERNEL
13 
14 struct trapframe;
15 
16 void	decr_intr(struct trapframe *);
17 
18 #endif
19 
20 #endif /* !_MACHINE_CLOCK_H_ */
21