54 lines
1.1 KiB
C
54 lines
1.1 KiB
C
/*-
|
|
* Kernel interface to machine-dependent clock driver.
|
|
* Garrett Wollman, September 1994.
|
|
* This file is in the public domain.
|
|
*
|
|
* $FreeBSD$
|
|
*/
|
|
|
|
#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 adjkerntz;
|
|
extern int clkintr_pending;
|
|
extern int disable_rtc_set;
|
|
extern int pscnt;
|
|
extern int psdiv;
|
|
extern int statclock_disable;
|
|
extern u_int timer_freq;
|
|
extern int timer0_max_count;
|
|
extern uint64_t tsc_freq;
|
|
extern int tsc_is_broken;
|
|
extern int wall_cmos_clock;
|
|
|
|
/*
|
|
* Driver to clock driver interface.
|
|
*/
|
|
struct clockframe;
|
|
|
|
int acquire_timer2(int mode);
|
|
int release_timer2(void);
|
|
#ifndef PC98
|
|
int rtcin(int val);
|
|
#else
|
|
int acquire_timer1(int mode);
|
|
int release_timer1(void);
|
|
#endif
|
|
#ifndef BURN_BRIDGES
|
|
int acquire_timer0(int rate, void (*function)(struct clockframe *frame));
|
|
int release_timer0(void);
|
|
#endif
|
|
int sysbeep(int pitch, int period);
|
|
void timer_restore(void);
|
|
void init_TSC(void);
|
|
void init_TSC_tc(void);
|
|
|
|
#endif /* _KERNEL */
|
|
|
|
#endif /* !_MACHINE_CLOCK_H_ */
|