arch/x86/include/asm/clocksource.h

   1 /* x86-specific clocksource additions */
   2
   3 #ifndef _ASM_X86_CLOCKSOURCE_H
   4 #define _ASM_X86_CLOCKSOURCE_H
   5
   6 #ifdef CONFIG_X86_64
   7
   8 #define VCLOCK_NONE 0  /* No vDSO clock available.      */
   9 #define VCLOCK_TSC  1  /* vDSO should use vread_tsc.    */
  10 #define VCLOCK_HPET 2  /* vDSO should use vread_hpet.   */
  11 #define VCLOCK_PVCLOCK 3 /* vDSO should use vread_pvclock. */
  12
  13 struct arch_clocksource_data {
  14         int vclock_mode;
  15 };
  16
  17 #endif /* CONFIG_X86_64 */
  18
  19 #endif /* _ASM_X86_CLOCKSOURCE_H */