arch/x86/vdso/vdso32.S

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