/* SPDX-License-Identifier: GPL-2.0 */ #ifndef __ASM_VDSO_CLOCKSOURCE_H #define __ASM_VDSO_CLOCKSOURCE_H #define VDSO_ARCH_CLOCKMODES \ VDSO_CLOCKMODE_TSC, \ VDSO_CLOCKMODE_PVCLOCK, \ VDSO_CLOCKMODE_HVCLOCK #define HAVE_VDSO_CLOCKMODE_HVCLOCK #endif /* __ASM_VDSO_CLOCKSOURCE_H */