1 /* SPDX-License-Identifier: GPL-2.0 */
2 /* x86-specific clocksource additions */
3
4 #ifndef _ASM_X86_CLOCKSOURCE_H
5 #define _ASM_X86_CLOCKSOURCE_H
6
7 #define VCLOCK_NONE 0 /* No vDSO clock available. */
8 #define VCLOCK_TSC 1 /* vDSO should use vread_tsc. */
9 #define VCLOCK_PVCLOCK 2 /* vDSO should use vread_pvclock. */
10 #define VCLOCK_HVCLOCK 3 /* vDSO should use vread_hvclock. */
11 #define VCLOCK_MAX 3
12
13 struct arch_clocksource_data {
14 int vclock_mode;
15 };
16
17 #endif /* _ASM_X86_CLOCKSOURCE_H */