1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __VDSO_CLOCKSOURCE_H 3 #define __VDSO_CLOCKSOURCE_H 4 5 #include <vdso/limits.h> 6 7 #if defined(CONFIG_ARCH_CLOCKSOURCE_DATA) || \ 8 defined(CONFIG_GENERIC_GETTIMEOFDAY) 9 #include <asm/vdso/clocksource.h> 10 #endif /* CONFIG_ARCH_CLOCKSOURCE_DATA || CONFIG_GENERIC_GETTIMEOFDAY */ 11 12 enum vdso_clock_mode { 13 VDSO_CLOCKMODE_NONE, 14 #ifdef CONFIG_GENERIC_GETTIMEOFDAY 15 VDSO_ARCH_CLOCKMODES, 16 #endif 17 VDSO_CLOCKMODE_MAX, 18 19 /* Indicator for time namespace VDSO */ 20 VDSO_CLOCKMODE_TIMENS = INT_MAX 21 }; 22 23 #endif /* __VDSO_CLOCKSOURCE_H */ 24