blob: 34c7a2312f9dc0fa082c303fe8110fc4b2d86953 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
/* SPDX-License-Identifier: GPL-2.0 */
#ifndef __ARCH_S390_KERNEL_VDSO64_VDSO_H
#define __ARCH_S390_KERNEL_VDSO64_VDSO_H
#include <vdso/datapage.h>
struct getcpu_cache;
int __s390_vdso_getcpu(unsigned *cpu, unsigned *node, struct getcpu_cache *unused);
int __s390_vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz);
int __s390_vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts);
int __s390_vdso_clock_getres(clockid_t clock, struct __kernel_timespec *ts);
#endif /* __ARCH_S390_KERNEL_VDSO64_VDSO_H */
|
