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_HPET 2  /* vDSO should use vread_hpet.	*/
9#define VCLOCK_PVCLOCK 3 /* vDSO should use vread_pvclock. */
10
11struct arch_clocksource_data {
12	int vclock_mode;
13};
14
15#endif /* _ASM_X86_CLOCKSOURCE_H */
16