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 
12 struct arch_clocksource_data {
13 	int vclock_mode;
14 };
15 
16 #endif /* CONFIG_X86_64 */
17 
18 #endif /* _ASM_X86_CLOCKSOURCE_H */
19