arch/x86/kernel/vsyscall_32.S

   1 #include <linux/init.h>
   2
   3 __INITDATA
   4
   5         .globl vsyscall_int80_start, vsyscall_int80_end
   6 vsyscall_int80_start:
   7         .incbin "arch/x86/kernel/vsyscall-int80_32.so"
   8 vsyscall_int80_end:
   9
  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:
  14
  15 __FINIT