sys/amd64/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 u_int    i8254_freq;
  19 extern int      i8254_max_count;
  20 extern uint64_t tsc_freq;
  21 extern int      tsc_is_invariant;
  22 extern int      tsc_perf_stat;
  23 #ifdef SMP
  24 extern int      smp_tsc;
  25 #endif
  26
  27 void    i8254_init(void);
  28
  29 /*
  30  * Driver to clock driver interface.
  31  */
  32
  33 void    startrtclock(void);
  34 void    init_TSC(void);
  35
  36 #define HAS_TIMER_SPKR 1
  37 int     timer_spkr_acquire(void);
  38 int     timer_spkr_release(void);
  39 void    timer_spkr_setfreq(int freq);
  40
  41 #endif /* _KERNEL */
  42
  43 #endif /* !_MACHINE_CLOCK_H_ */