#include <linux/init.h> __INITDATA .globl vdso32_int80_start, vdso32_int80_end vdso32_int80_start: .incbin "arch/x86/vdso/vdso32-int80.so" vdso32_int80_end: .globl vdso32_syscall_start, vdso32_syscall_end vdso32_syscall_start: #ifdef CONFIG_COMPAT .incbin "arch/x86/vdso/vdso32-syscall.so" #endif vdso32_syscall_end: .globl vdso32_sysenter_start, vdso32_sysenter_end vdso32_sysenter_start: .incbin "arch/x86/vdso/vdso32-sysenter.so" vdso32_sysenter_end: __FINIT