/*-
 * 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
/*
 * i386 to clock driver interface.
 * XXX large parts of the driver and its interface are misplaced.
 */
extern int      clkintr_pending;
extern u_int    i8254_freq;
extern int      i8254_max_count;
extern uint64_t tsc_freq;
extern int      tsc_is_invariant;
extern int      tsc_perf_stat;
#ifdef SMP
extern int      smp_tsc;
#endif

void    i8254_init(void);
void    i8254_delay(int);
void    clock_init(void);
void    lapic_calibrate(void);
void    tsc_init(void);
void    tsc_calibrate(void);

/*
 * Driver to clock driver interface.
 */

void    startrtclock(void);
void    start_TSC(void);
void    resume_TSC(void);

#define HAS_TIMER_SPKR 1
int     timer_spkr_acquire(void);
int     timer_spkr_release(void);
void    timer_spkr_setfreq(int freq);

#endif /* _KERNEL */

#endif /* !_MACHINE_CLOCK_H_ */