sys/ia64/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 #define CLOCK_VECTOR    254
  15
  16 extern uint64_t ia64_clock_reload;
  17 extern uint64_t itc_frequency;
  18
  19 #endif
  20
  21 #endif /* !_MACHINE_CLOCK_H_ */