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
14 struct trapframe;
15
16 void decr_intr(struct trapframe *);
17
18 #endif
19
20 #endif /* !_MACHINE_CLOCK_H_ */
Cache object: 5b1fb9072e4a0d44f915ac67d2bfae20
|