clocksource.h

 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 */