1 #ifndef _ASM_X86_VDSO_H
2 #define _ASM_X86_VDSO_H
4 #if defined CONFIG_X86_32 || defined CONFIG_COMPAT
6 #include <asm/vdso32.h>
8 extern const char VDSO32_PRELINK[];
11 * Given a pointer to the vDSO image, find the pointer to VDSO32_name
12 * as that symbol is defined in the vDSO sources or linker script.
14 #define VDSO32_SYMBOL(base, name) \
16 extern const char VDSO32_##name[]; \
17 (void __user *)(VDSO32_##name + (unsigned long)(base)); \
22 * These symbols are defined with the addresses in the vsyscall page.
23 * See vsyscall-sigreturn.S.
25 extern void __user __kernel_sigreturn;
26 extern void __user __kernel_rt_sigreturn;
28 void __init patch_vdso32(void *vdso, size_t len);
30 #endif /* _ASM_X86_VDSO_H */