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