18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifndef __VDSO_CLOCKSOURCE_H 38c2ecf20Sopenharmony_ci#define __VDSO_CLOCKSOURCE_H 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ci#include <vdso/limits.h> 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ci#ifdef CONFIG_GENERIC_GETTIMEOFDAY 88c2ecf20Sopenharmony_ci#include <asm/vdso/clocksource.h> 98c2ecf20Sopenharmony_ci#endif /* CONFIG_GENERIC_GETTIMEOFDAY */ 108c2ecf20Sopenharmony_ci 118c2ecf20Sopenharmony_cienum vdso_clock_mode { 128c2ecf20Sopenharmony_ci VDSO_CLOCKMODE_NONE, 138c2ecf20Sopenharmony_ci#ifdef CONFIG_GENERIC_GETTIMEOFDAY 148c2ecf20Sopenharmony_ci VDSO_ARCH_CLOCKMODES, 158c2ecf20Sopenharmony_ci#endif 168c2ecf20Sopenharmony_ci VDSO_CLOCKMODE_MAX, 178c2ecf20Sopenharmony_ci 188c2ecf20Sopenharmony_ci /* Indicator for time namespace VDSO */ 198c2ecf20Sopenharmony_ci VDSO_CLOCKMODE_TIMENS = INT_MAX 208c2ecf20Sopenharmony_ci}; 218c2ecf20Sopenharmony_ci 228c2ecf20Sopenharmony_ci#endif /* __VDSO_CLOCKSOURCE_H */ 23