1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __S390_VDSO_SYMBOLS_H__ 3 #define __S390_VDSO_SYMBOLS_H__ 4 5 #include <generated/vdso-offsets.h> 6 7 #define VDSO_SYMBOL(tsk, name) ((tsk)->mm->context.vdso_base + (vdso_offset_##name)) 8 9 #endif /* __S390_VDSO_SYMBOLS_H__ */ 10