1193323Sed/*-
2193323Sed * Kernel interface to machine-dependent clock driver.
3193323Sed * Garrett Wollman, September 1994.
4193323Sed * This file is in the public domain.
5193323Sed *
6193323Sed * $FreeBSD: releng/10.3/sys/ia64/include/clock.h 205234 2010-03-17 00:37:15Z marcel $
7193323Sed */
8193323Sed
9193323Sed#ifndef _MACHINE_CLOCK_H_
10193323Sed#define	_MACHINE_CLOCK_H_
11193323Sed
12193323Sed#endif /* !_MACHINE_CLOCK_H_ */
13193323Sed