1 /* x86-specific clocksource additions */
3 #ifndef _ASM_X86_CLOCKSOURCE_H
4 #define _ASM_X86_CLOCKSOURCE_H
8 #define __ARCH_HAS_CLOCKSOURCE_DATA
10 #define VCLOCK_NONE 0 /* No vDSO clock available. */
11 #define VCLOCK_TSC 1 /* vDSO should use vread_tsc. */
12 #define VCLOCK_HPET 2 /* vDSO should use vread_hpet. */
14 struct arch_clocksource_data {
18 #endif /* CONFIG_X86_64 */
20 #endif /* _ASM_X86_CLOCKSOURCE_H */