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