kernel/arch/x86/include/asm/vdso/clocksource.h
.. .. @@ -2,10 +2,9 @@ 2 2 #ifndef __ASM_VDSO_CLOCKSOURCE_H 3 3 #define __ASM_VDSO_CLOCKSOURCE_H 4 4 5  -#define VCLOCK_NONE 0 /* No vDSO clock available. */6  -#define VCLOCK_TSC 1 /* vDSO should use vread_tsc. */7  -#define VCLOCK_PVCLOCK 2 /* vDSO should use vread_pvclock. */8  -#define VCLOCK_HVCLOCK 3 /* vDSO should use vread_hvclock. */9  -#define VCLOCK_MAX 35  +#define VDSO_ARCH_CLOCKMODES \6  + VDSO_CLOCKMODE_TSC, \7  + VDSO_CLOCKMODE_PVCLOCK, \8  + VDSO_CLOCKMODE_HVCLOCK10 9 11 10 #endif /* __ASM_VDSO_CLOCKSOURCE_H */