1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __S390_VDSO_H__ 3 #define __S390_VDSO_H__ 4 5 #include <vdso/datapage.h> 6 7 #ifndef __ASSEMBLY__ 8 9 #include <generated/vdso64-offsets.h> 10 #ifdef CONFIG_COMPAT 11 #include <generated/vdso32-offsets.h> 12 #endif 13 14 #define VDSO64_SYMBOL(tsk, name) ((tsk)->mm->context.vdso_base + (vdso64_offset_##name)) 15 #ifdef CONFIG_COMPAT 16 #define VDSO32_SYMBOL(tsk, name) ((tsk)->mm->context.vdso_base + (vdso32_offset_##name)) 17 #else 18 #define VDSO32_SYMBOL(tsk, name) (-1UL) 19 #endif 20 21 extern struct vdso_data *vdso_data; 22 23 int vdso_getcpu_init(void); 24 25 #endif /* __ASSEMBLY__ */ 26 27 /* Default link address for the vDSO */ 28 #define VDSO_LBASE 0 29 30 #define __VVAR_PAGES 2 31 32 #define VDSO_VERSION_STRING LINUX_2.6.29 33 34 #endif /* __S390_VDSO_H__ */ 35