sys/arch/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: src/sys/ia64/include/clock.h,v 1.12 2008/03/26 20:09:19 phk Exp $
   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 void pcpu_initclock(void);
  20
  21 #endif
  22
  23 #endif /* !_MACHINE_CLOCK_H_ */