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 __ASSEMBLER__ 8 9 int vdso_getcpu_init(void); 10 11 #endif /* __ASSEMBLER__ */ 12 13 #define __VDSO_PAGES 4 14 15 #define VDSO_VERSION_STRING LINUX_2.6.29 16 17 #endif /* __S390_VDSO_H__ */ 18