1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef __ASM_VDSO_CLOCKSOURCE_H
3#define __ASM_VDSO_CLOCKSOURCE_H
4
5#define VDSO_ARCH_CLOCKMODES	\
6	VDSO_CLOCKMODE_TSC,	\
7	VDSO_CLOCKMODE_PVCLOCK,	\
8	VDSO_CLOCKMODE_HVCLOCK
9
10#define HAVE_VDSO_CLOCKMODE_HVCLOCK
11
12#endif /* __ASM_VDSO_CLOCKSOURCE_H */
13