arch/x86/include/asm/clocksource.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 /* x86-specific clocksource additions */
   3
   4 #ifndef _ASM_X86_CLOCKSOURCE_H
   5 #define _ASM_X86_CLOCKSOURCE_H
   6
   7 #define VCLOCK_NONE     0       /* No vDSO clock available.             */
   8 #define VCLOCK_TSC      1       /* vDSO should use vread_tsc.           */
   9 #define VCLOCK_PVCLOCK  2       /* vDSO should use vread_pvclock.       */
  10 #define VCLOCK_HVCLOCK  3       /* vDSO should use vread_hvclock.       */
  11 #define VCLOCK_MAX      3
  12
  13 struct arch_clocksource_data {
  14         int vclock_mode;
  15 };
  16
  17 #endif /* _ASM_X86_CLOCKSOURCE_H */