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