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 /* Default link address for the vDSO */ 8 #define VDSO64_LBASE 0 9 10 #define __VVAR_PAGES 2 11 12 #define VDSO_VERSION_STRING LINUX_2.6.29 13 14 #ifndef __ASSEMBLY__ 15 16 extern struct vdso_data *vdso_data; 17 18 int vdso_getcpu_init(void); 19 20 #endif /* __ASSEMBLY__ */ 21 #endif /* __S390_VDSO_H__ */ 22