160727d8bSWarner Losh /*- 2897cd717SDoug Rabson * Kernel interface to machine-dependent clock driver. 3897cd717SDoug Rabson * Garrett Wollman, September 1994. 4897cd717SDoug Rabson * This file is in the public domain. 5897cd717SDoug Rabson */ 6897cd717SDoug Rabson 7897cd717SDoug Rabson #ifndef _MACHINE_CLOCK_H_ 8897cd717SDoug Rabson #define _MACHINE_CLOCK_H_ 9897cd717SDoug Rabson 10664a31e4SPeter Wemm #ifdef _KERNEL 11897cd717SDoug Rabson 124ca162b6SPeter Grehan struct trapframe; 134ca162b6SPeter Grehan 14b439e431SJohn Baldwin void decr_intr(struct trapframe *); 15d27f1d4cSBenno Rice 16664a31e4SPeter Wemm #endif 17897cd717SDoug Rabson 18897cd717SDoug Rabson #endif /* !_MACHINE_CLOCK_H_ */ 19