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