arch/x86/vdso/vdso32.S

   1 #include <asm/vdso.h>
   2
   3 DEFINE_VDSO_IMAGE(vdso32_int80, "arch/x86/vdso/vdso32-int80.so")
   4
   5 #ifdef CONFIG_COMPAT
   6 DEFINE_VDSO_IMAGE(vdso32_syscall, "arch/x86/vdso/vdso32-syscall.so")
   7 #endif
   8
   9 DEFINE_VDSO_IMAGE(vdso32_sysenter, "arch/x86/vdso/vdso32-sysenter.so")