| 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 | |
| 12 | struct trapframe; |
| 13 | |
| 14 | void decr_intr(struct trapframe *); |
| 15 | |
| 16 | #endif |
| 17 | |
| 18 | #endif /* !_MACHINE_CLOCK_H_ */ |