gettime.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifndef _VDSO_GETTIME_H
   3 #define _VDSO_GETTIME_H
   4
   5 #include <linux/types.h>
   6
   7 struct __kernel_timespec;
   8 struct timezone;
   9
  10 #if !defined(CONFIG_64BIT) || defined(BUILD_VDSO32_64)
  11 struct old_timespec32;
  12 int __vdso_clock_getres(clockid_t clock, struct old_timespec32 *res);
  13 int __vdso_clock_gettime(clockid_t clock, struct old_timespec32 *ts);
  14 #else
  15 int __vdso_clock_getres(clockid_t clock, struct __kernel_timespec *res);
  16 int __vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts);
  17 #endif
  18
  19 __kernel_old_time_t __vdso_time(__kernel_old_time_t *t);
  20 int __vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz);
  21 int __vdso_clock_gettime64(clockid_t clock, struct __kernel_timespec *ts);
  22
  23 #endif