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