arch/csky/kernel/vdso/vgettimeofday.c

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