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