1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */ 2b020632eSMartin Schwidefsky #ifndef __S390_VDSO_H__ 3b020632eSMartin Schwidefsky #define __S390_VDSO_H__ 4b020632eSMartin Schwidefsky 54bff8cb5SSven Schnelle #include <vdso/datapage.h> 64bff8cb5SSven Schnelle 7b020632eSMartin Schwidefsky /* Default link addresses for the vDSOs */ 8b020632eSMartin Schwidefsky #define VDSO32_LBASE 0 9b020632eSMartin Schwidefsky #define VDSO64_LBASE 0 10b020632eSMartin Schwidefsky 1113c6680aSMartin Schwidefsky #define VDSO_VERSION_STRING LINUX_2.6.29 12b020632eSMartin Schwidefsky 13b020632eSMartin Schwidefsky #ifndef __ASSEMBLY__ 14b020632eSMartin Schwidefsky 15b020632eSMartin Schwidefsky extern struct vdso_data *vdso_data; 16b020632eSMartin Schwidefsky 17*80f06306SHeiko Carstens void vdso_getcpu_init(void); 18*80f06306SHeiko Carstens 19b020632eSMartin Schwidefsky #endif /* __ASSEMBLY__ */ 20b020632eSMartin Schwidefsky #endif /* __S390_VDSO_H__ */ 21