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_ */ 19