kernel/vdso64/vdso64_generic.c

0001 // SPDX-License-Identifier: GPL-2.0
0002 #include "../../../../lib/vdso/gettimeofday.c"
0003 #include "vdso.h"
0004
0005 int __s390_vdso_gettimeofday(struct __kernel_old_timeval *tv,
0006                  struct timezone *tz)
0007 {
0008     return __cvdso_gettimeofday(tv, tz);
0009 }
0010
0011 int __s390_vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts)
0012 {
0013     return __cvdso_clock_gettime(clock, ts);
0014 }
0015
0016 int __s390_vdso_clock_getres(clockid_t clock, struct __kernel_timespec *ts)
0017 {
0018     return __cvdso_clock_getres(clock, ts);
0019 }