1#include <linux/init.h>
 2
 3__INITDATA
 4
 5	.globl vdso32_int80_start, vdso32_int80_end
 6vdso32_int80_start:
 7	.incbin "arch/x86/vdso/vdso32-int80.so"
 8vdso32_int80_end:
 9
10	.globl vdso32_syscall_start, vdso32_syscall_end
11vdso32_syscall_start:
12#ifdef CONFIG_COMPAT
13	.incbin "arch/x86/vdso/vdso32-syscall.so"
14#endif
15vdso32_syscall_end:
16
17	.globl vdso32_sysenter_start, vdso32_sysenter_end
18vdso32_sysenter_start:
19	.incbin "arch/x86/vdso/vdso32-sysenter.so"
20vdso32_sysenter_end:
21
22__FINIT

1#include <asm/vdso.h>
2
3DEFINE_VDSO_IMAGE(vdso32_int80, "arch/x86/vdso/vdso32-int80.so")
4
 
 
 
 
 
 
 
5#ifdef CONFIG_COMPAT
6DEFINE_VDSO_IMAGE(vdso32_syscall, "arch/x86/vdso/vdso32-syscall.so")
7#endif
 
 
 
 
 
 
8
9DEFINE_VDSO_IMAGE(vdso32_sysenter, "arch/x86/vdso/vdso32-sysenter.so")