1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __S390_VDSO_H__
3 #define __S390_VDSO_H__
5 #include <vdso/datapage.h>
9 #include <generated/vdso64-offsets.h>
11 #include <generated/vdso32-offsets.h>
14 #define VDSO64_SYMBOL(tsk, name) ((tsk)->mm->context.vdso_base + (vdso64_offset_##name))
16 #define VDSO32_SYMBOL(tsk, name) ((tsk)->mm->context.vdso_base + (vdso32_offset_##name))
18 #define VDSO32_SYMBOL(tsk, name) (-1UL)
21 extern struct vdso_data *vdso_data;
23 int vdso_getcpu_init(void);
25 #endif /* __ASSEMBLY__ */
27 /* Default link address for the vDSO */
30 #define __VVAR_PAGES 2
32 #define VDSO_VERSION_STRING LINUX_2.6.29
34 #endif /* __S390_VDSO_H__ */