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 */ 20