mirror of
https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git
synced 2024-11-22 11:14:18 +01:00
19 lines
303 B
C
19 lines
303 B
C
/*-
|
|
* Kernel interface to machine-dependent clock driver.
|
|
* Garrett Wollman, September 1994.
|
|
* This file is in the public domain.
|
|
*/
|
|
|
|
#ifndef _MACHINE_CLOCK_H_
|
|
#define _MACHINE_CLOCK_H_
|
|
|
|
#ifdef _KERNEL
|
|
|
|
struct trapframe;
|
|
|
|
void decr_intr(struct trapframe *);
|
|
|
|
#endif
|
|
|
|
#endif /* !_MACHINE_CLOCK_H_ */
|