sys/i386/include/clock.h

   1 /*-
   2  * Kernel interface to machine-dependent clock driver.
   3  * Garrett Wollman, September 1994.
   4  * This file is in the public domain.
   5  *
   6  * $FreeBSD$
   7  */
   8
   9 #ifndef _MACHINE_CLOCK_H_
  10 #define _MACHINE_CLOCK_H_
  11
  12 #ifdef _KERNEL
  13 /*
  14  * i386 to clock driver interface.
  15  * XXX large parts of the driver and its interface are misplaced.
  16  */
  17 extern int      clkintr_pending;
  18 extern int      statclock_disable;
  19 extern u_int    i8254_freq;
  20 extern int      i8254_max_count;
  21 extern uint64_t tsc_freq;
  22 extern int      tsc_is_broken;
  23
  24 void    i8254_init(void);
  25
  26 /*
  27  * Driver to clock driver interface.
  28  */
  29
  30 void    startrtclock(void);
  31 void    timer_restore(void);
  32 void    init_TSC(void);
  33 void    init_TSC_tc(void);
  34
  35 #define HAS_TIMER_SPKR 1
  36 int     timer_spkr_acquire(void);
  37 int     timer_spkr_release(void);
  38 void    timer_spkr_setfreq(int freq);
  39
  40 #endif /* _KERNEL */
  41
  42 #endif /* !_MACHINE_CLOCK_H_ */