vdso.h (542B)
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 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); 13 14#endif /* __ARCH_S390_KERNEL_VDSO64_VDSO_H */