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 7extern 8int __vdso_clock_gettime(clockid_t clock, 9 struct old_timespec32 *ts) 10{ 11 return __cvdso_clock_gettime32(clock, ts); 12} 13 14int __vdso_clock_gettime64(clockid_t clock, 15 struct __kernel_timespec *ts) 16{ 17 return __cvdso_clock_gettime(clock, ts); 18} 19 20int __vdso_gettimeofday(struct __kernel_old_timeval *tv, 21 struct timezone *tz) 22{ 23 return __cvdso_gettimeofday(tv, tz); 24} 25 26int __vdso_clock_getres(clockid_t clock_id, 27 struct old_timespec32 *res) 28{ 29 return __cvdso_clock_getres_time32(clock_id, res); 30} 31