1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __ASM_VDSO_CLOCKSOURCE_H 3 #define __ASM_VDSO_CLOCKSOURCE_H 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 3 10 11 #endif /* __ASM_VDSO_CLOCKSOURCE_H */ 12