vdso.h

 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
 7struct getcpu_cache;
 8
 9int __s390_vdso_getcpu(unsigned *cpu, unsigned *node, struct getcpu_cache *unused);
10int __s390_vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz);
11int __s390_vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts);
12int __s390_vdso_clock_getres(clockid_t clock, struct __kernel_timespec *ts);
13ssize_t __kernel_getrandom(void *buffer, size_t len, unsigned int flags, void *opaque_state, size_t opaque_len);
14
15#endif /* __ARCH_S390_KERNEL_VDSO_VDSO_H */