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}

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