1#include <linux/init.h> 2 3__INITDATA 4 5 .globl vsyscall_int80_start, vsyscall_int80_end 6vsyscall_int80_start: 7 .incbin "arch/i386/kernel/vsyscall-int80.so" 8vsyscall_int80_end: 9 10 .globl vsyscall_sysenter_start, vsyscall_sysenter_end 11vsyscall_sysenter_start: 12 .incbin "arch/i386/kernel/vsyscall-sysenter.so" 13vsyscall_sysenter_end: 14 15__FINIT 16