2014-03-21 09:57:18 +08:00
|
|
|
#include <asm/vdso.h>
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2014-03-21 06:01:21 +08:00
|
|
|
DEFINE_VDSO_IMAGE(vdso32_int80, "arch/x86/vdso/vdso32-int80.so")
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2008-07-12 17:22:00 +08:00
|
|
|
#ifdef CONFIG_COMPAT
|
2014-03-21 06:01:21 +08:00
|
|
|
DEFINE_VDSO_IMAGE(vdso32_syscall, "arch/x86/vdso/vdso32-syscall.so")
|
2008-01-30 20:30:43 +08:00
|
|
|
#endif
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2014-03-21 06:01:21 +08:00
|
|
|
DEFINE_VDSO_IMAGE(vdso32_sysenter, "arch/x86/vdso/vdso32-sysenter.so")
|