1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __S390_VDSO_H__
3 #define __S390_VDSO_H__
5 #include <vdso/datapage.h>
7 /* Default link address for the vDSO */
10 #define __VVAR_PAGES 2
12 #define VDSO_VERSION_STRING LINUX_2.6.29
16 extern struct vdso_data *vdso_data;
18 int vdso_getcpu_init(void);
20 #endif /* __ASSEMBLY__ */
21 #endif /* __S390_VDSO_H__ */