1 // SPDX-License-Identifier: GPL-2.0-only 2 3 #include <linux/time.h> 4 #include <linux/types.h> 5 #include <vdso/gettime.h> 6 7 extern 8 int __vdso_clock_gettime(clockid_t clock, 9 struct old_timespec32 *ts) 10 { 11 return __cvdso_clock_gettime32(clock, ts); 12 } 13 14 int __vdso_clock_gettime64(clockid_t clock, 15 struct __kernel_timespec *ts) 16 { 17 return __cvdso_clock_gettime(clock, ts); 18 } 19 20 int __vdso_gettimeofday(struct __kernel_old_timeval *tv, 21 struct timezone *tz) 22 { 23 return __cvdso_gettimeofday(tv, tz); 24 } 25 26 int __vdso_clock_getres(clockid_t clock_id, 27 struct old_timespec32 *res) 28 { 29 return __cvdso_clock_getres_time32(clock_id, res); 30 } 31