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