1 /* x86-specific clocksource additions */
3 #ifndef _ASM_X86_CLOCKSOURCE_H
4 #define _ASM_X86_CLOCKSOURCE_H
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. */
12 struct arch_clocksource_data
{
16 #endif /* CONFIG_X86_64 */
18 #endif /* _ASM_X86_CLOCKSOURCE_H */