114ee2ac6SVincenzo Frascino /* SPDX-License-Identifier: GPL-2.0 */ 214ee2ac6SVincenzo Frascino #ifndef __VDSO_CLOCKSOURCE_H 314ee2ac6SVincenzo Frascino #define __VDSO_CLOCKSOURCE_H 414ee2ac6SVincenzo Frascino 514ee2ac6SVincenzo Frascino #include <vdso/limits.h> 614ee2ac6SVincenzo Frascino 7*ca214e2cSVincenzo Frascino #ifdef CONFIG_GENERIC_GETTIMEOFDAY 814ee2ac6SVincenzo Frascino #include <asm/vdso/clocksource.h> 9*ca214e2cSVincenzo Frascino #endif /* CONFIG_GENERIC_GETTIMEOFDAY */ 1014ee2ac6SVincenzo Frascino 1114ee2ac6SVincenzo Frascino enum vdso_clock_mode { 1214ee2ac6SVincenzo Frascino VDSO_CLOCKMODE_NONE, 1314ee2ac6SVincenzo Frascino #ifdef CONFIG_GENERIC_GETTIMEOFDAY 1414ee2ac6SVincenzo Frascino VDSO_ARCH_CLOCKMODES, 1514ee2ac6SVincenzo Frascino #endif 1614ee2ac6SVincenzo Frascino VDSO_CLOCKMODE_MAX, 1714ee2ac6SVincenzo Frascino 1814ee2ac6SVincenzo Frascino /* Indicator for time namespace VDSO */ 1914ee2ac6SVincenzo Frascino VDSO_CLOCKMODE_TIMENS = INT_MAX 2014ee2ac6SVincenzo Frascino }; 2114ee2ac6SVincenzo Frascino 2214ee2ac6SVincenzo Frascino #endif /* __VDSO_CLOCKSOURCE_H */ 23