/*
 * Kernel interface to machine-dependent clock driver.
 * Garrett Wollman, September 1994.
 * This file is in the public domain.
 *
 * $FreeBSD: head/sys/ia64/include/clock.h 104436 2002-10-04 01:23:58Z peter $
 */

#ifndef _MACHINE_CLOCK_H_
#define	_MACHINE_CLOCK_H_

#ifdef _KERNEL

extern	int	disable_rtc_set;
extern	int	wall_cmos_clock;
extern	int	adjkerntz;

exterin u_int64_t	itc_frequency;
exterin u_int64_t	itm_reload;

int	sysbeep(int pitch, int period);
int	acquire_timer2(int mode);
int	release_timer2(void);
void	handleclock(void *arg);

#endif

#endif /* !_MACHINE_CLOCK_H_ */