arch/s390/kernel/vdso64/vdso64_generic.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 #include "../../../../lib/vdso/gettimeofday.c"
   3 #include "vdso.h"
   4
   5 int __s390_vdso_gettimeofday(struct __kernel_old_timeval *tv,
   6                              struct timezone *tz)
   7 {
   8         return __cvdso_gettimeofday(tv, tz);
   9 }
  10
  11 int __s390_vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts)
  12 {
  13         return __cvdso_clock_gettime(clock, ts);
  14 }
  15
  16 int __s390_vdso_clock_getres(clockid_t clock, struct __kernel_timespec *ts)
  17 {
  18         return __cvdso_clock_getres(clock, ts);
  19 }