1 #ifndef _ASM_X86_VDSO_H
2 #define _ASM_X86_VDSO_H
4 #include <asm/page_types.h>
5 #include <linux/linkage.h>
9 #define DEFINE_VDSO_IMAGE(symname, filename) \
10 __PAGE_ALIGNED_DATA ; \
11 .globl symname##_start, symname##_end ; \
16 .align PAGE_SIZE /* extra data here leaks to userspace. */ ; \
20 .globl symname##_pages ; \
23 .type symname##_pages, @object ; \
25 .zero (symname##_end - symname##_start + PAGE_SIZE - 1) / PAGE_SIZE * (BITS_PER_LONG / 8) ; \
26 .size symname##_pages, .-symname##_pages
30 #define DECLARE_VDSO_IMAGE(symname) \
31 extern char symname##_start[], symname##_end[]; \
32 extern struct page *symname##_pages[]
34 #if defined CONFIG_X86_32 || defined CONFIG_COMPAT
36 #include <asm/vdso32.h>
38 DECLARE_VDSO_IMAGE(vdso32_int80);
40 DECLARE_VDSO_IMAGE(vdso32_syscall);
42 DECLARE_VDSO_IMAGE(vdso32_sysenter);
44 extern const char VDSO32_PRELINK[];
47 * Given a pointer to the vDSO image, find the pointer to VDSO32_name
48 * as that symbol is defined in the vDSO sources or linker script.
50 #define VDSO32_SYMBOL(base, name) \
52 extern const char VDSO32_##name[]; \
53 (void __user *)(VDSO32_##name + (unsigned long)(base)); \
58 * These symbols are defined with the addresses in the vsyscall page.
59 * See vsyscall-sigreturn.S.
61 extern void __user __kernel_sigreturn;
62 extern void __user __kernel_rt_sigreturn;
64 void __init patch_vdso32(void *vdso, size_t len);
66 #endif /* __ASSEMBLER__ */
68 #endif /* _ASM_X86_VDSO_H */