vdso.h (746B)
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 __ASSEMBLY__ 8 9#include <generated/vdso64-offsets.h> 10#ifdef CONFIG_COMPAT 11#include <generated/vdso32-offsets.h> 12#endif 13 14#define VDSO64_SYMBOL(tsk, name) ((tsk)->mm->context.vdso_base + (vdso64_offset_##name)) 15#ifdef CONFIG_COMPAT 16#define VDSO32_SYMBOL(tsk, name) ((tsk)->mm->context.vdso_base + (vdso32_offset_##name)) 17#else 18#define VDSO32_SYMBOL(tsk, name) (-1UL) 19#endif 20 21extern struct vdso_data *vdso_data; 22 23int vdso_getcpu_init(void); 24 25#endif /* __ASSEMBLY__ */ 26 27/* Default link address for the vDSO */ 28#define VDSO_LBASE 0 29 30#define __VVAR_PAGES 2 31 32#define VDSO_VERSION_STRING LINUX_2.6.29 33 34#endif /* __S390_VDSO_H__ */