arch/x86/vdso/vdso32.S

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