1 #include <linux/init.h>
5 .globl vsyscall_int80_start, vsyscall_int80_end
7 .incbin "arch/x86/kernel/vsyscall-int80_32.so"
10 .globl vsyscall_sysenter_start, vsyscall_sysenter_end
11 vsyscall_sysenter_start:
12 .incbin "arch/x86/kernel/vsyscall-sysenter_32.so"
13 vsyscall_sysenter_end: