kernel/vdso64/vdso.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 #ifndef __ARCH_S390_KERNEL_VDSO64_VDSO_H
0003 #define __ARCH_S390_KERNEL_VDSO64_VDSO_H
0004
0005 #include <vdso/datapage.h>
0006
0007 struct getcpu_cache;
0008
0009 int __s390_vdso_getcpu(unsigned *cpu, unsigned *node, struct getcpu_cache *unused);
0010 int __s390_vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz);
0011 int __s390_vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts);
0012 int __s390_vdso_clock_getres(clockid_t clock, struct __kernel_timespec *ts);
0013
0014 #endif /* __ARCH_S390_KERNEL_VDSO64_VDSO_H */