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