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