1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _VDSO_GETTIME_H 3 #define _VDSO_GETTIME_H 4 5 #include <linux/types.h> 6 7 struct __kernel_timespec; 8 struct __kernel_old_timeval; 9 struct timezone; 10 11 #if !defined(CONFIG_64BIT) || defined(BUILD_VDSO32_64) 12 struct old_timespec32; 13 int __vdso_clock_getres(clockid_t clock, struct old_timespec32 *res); 14 int __vdso_clock_gettime(clockid_t clock, struct old_timespec32 *ts); 15 #else 16 int __vdso_clock_getres(clockid_t clock, struct __kernel_timespec *res); 17 int __vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts); 18 #endif 19 20 __kernel_old_time_t __vdso_time(__kernel_old_time_t *t); 21 int __vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz); 22 int __vdso_clock_gettime64(clockid_t clock, struct __kernel_timespec *ts); 23 24 #endif 25