Changeset View
Changeset View
Standalone View
Standalone View
sys/x86/include/clock.h
Show All 22 Lines | |||||
#ifdef SMP | #ifdef SMP | ||||
extern int smp_tsc; | extern int smp_tsc; | ||||
#endif | #endif | ||||
void i8254_init(void); | void i8254_init(void); | ||||
void i8254_delay(int); | void i8254_delay(int); | ||||
void clock_init(void); | void clock_init(void); | ||||
void lapic_calibrate(void); | void lapic_calibrate(void); | ||||
void tsc_init(void); | |||||
void tsc_calibrate(void); | void tsc_calibrate(void); | ||||
/* | /* | ||||
* Driver to clock driver interface. | * Driver to clock driver interface. | ||||
*/ | */ | ||||
void startrtclock(void); | void startrtclock(void); | ||||
void init_TSC(void); | void start_TSC(void); | ||||
void resume_TSC(void); | void resume_TSC(void); | ||||
#define HAS_TIMER_SPKR 1 | #define HAS_TIMER_SPKR 1 | ||||
int timer_spkr_acquire(void); | int timer_spkr_acquire(void); | ||||
int timer_spkr_release(void); | int timer_spkr_release(void); | ||||
void timer_spkr_setfreq(int freq); | void timer_spkr_setfreq(int freq); | ||||
#endif /* _KERNEL */ | #endif /* _KERNEL */ | ||||
#endif /* !_MACHINE_CLOCK_H_ */ | #endif /* !_MACHINE_CLOCK_H_ */ |