1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __S390_VDSO_SYMBOLS_H__ 3 #define __S390_VDSO_SYMBOLS_H__ 4 5 #include <generated/vdso64-offsets.h> 6 #ifdef CONFIG_COMPAT 7 #include <generated/vdso32-offsets.h> 8 #endif 9 10 #define VDSO64_SYMBOL(tsk, name) ((tsk)->mm->context.vdso_base + (vdso64_offset_##name)) 11 #ifdef CONFIG_COMPAT 12 #define VDSO32_SYMBOL(tsk, name) ((tsk)->mm->context.vdso_base + (vdso32_offset_##name)) 13 #else 14 #define VDSO32_SYMBOL(tsk, name) (-1UL) 15 #endif 16 17 #endif /* __S390_VDSO_SYMBOLS_H__ */ 18