/* SPDX-License-Identifier: GPL-2.0 */#ifndef __VDSO_CLOCKSOURCE_H#define __VDSO_CLOCKSOURCE_H #include <vdso/limits.h> #include <asm/vdso/clocksource.h> enum vdso_clock_mode {	VDSO_CLOCKMODE_NONE,#ifdef VDSO_ARCH_CLOCKMODES	VDSO_ARCH_CLOCKMODES,#endif	VDSO_CLOCKMODE_MAX, 	/* Indicator for time namespace VDSO */	VDSO_CLOCKMODE_TIMENS = INT_MAX}; #endif /* __VDSO_CLOCKSOURCE_H */