s390/kernel/vdso64/vdso.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifndef __ARCH_S390_KERNEL_VDSO64_VDSO_H
   3 #define __ARCH_S390_KERNEL_VDSO64_VDSO_H
   4
   5 #include <vdso/datapage.h>
   6
   7 struct getcpu_cache;
   8
   9 int __s390_vdso_getcpu(unsigned *cpu, unsigned *node, struct getcpu_cache *unused);
  10 int __s390_vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz);
  11 int __s390_vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts);
  12 int __s390_vdso_clock_getres(clockid_t clock, struct __kernel_timespec *ts);
  13
  14 #endif /* __ARCH_S390_KERNEL_VDSO64_VDSO_H */