arch/powerpc/kernel/vdso64/vgettimeofday.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 /*
   3  * Powerpc userspace implementations of gettimeofday() and similar.
   4  */
   5 #include <linux/time.h>
   6 #include <linux/types.h>
   7
   8 int __c_kernel_clock_gettime(clockid_t clock, struct __kernel_timespec *ts,
   9                              const struct vdso_data *vd)
  10 {
  11         return __cvdso_clock_gettime_data(vd, clock, ts);
  12 }
  13
  14 int __c_kernel_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz,
  15                             const struct vdso_data *vd)
  16 {
  17         return __cvdso_gettimeofday_data(vd, tv, tz);
  18 }
  19
  20 int __c_kernel_clock_getres(clockid_t clock_id, struct __kernel_timespec *res,
  21                             const struct vdso_data *vd)
  22 {
  23         return __cvdso_clock_getres_data(vd, clock_id, res);
  24 }
  25
  26 __kernel_old_time_t __c_kernel_time(__kernel_old_time_t *time, const struct vdso_data *vd)
  27 {
  28         return __cvdso_time_data(vd, time);
  29 }