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