2005-04-16 22:20:36 +00:00
|
|
|
#include <linux/init.h>
|
|
|
|
|
|
|
|
__INITDATA
|
|
|
|
|
2008-07-12 09:22:00 +00:00
|
|
|
.globl vdso32_int80_start, vdso32_int80_end
|
|
|
|
vdso32_int80_start:
|
2008-01-30 12:30:42 +00:00
|
|
|
.incbin "arch/x86/vdso/vdso32-int80.so"
|
2008-07-12 09:22:00 +00:00
|
|
|
vdso32_int80_end:
|
|
|
|
|
|
|
|
.globl vdso32_syscall_start, vdso32_syscall_end
|
|
|
|
vdso32_syscall_start:
|
|
|
|
#ifdef CONFIG_COMPAT
|
2008-01-30 12:30:43 +00:00
|
|
|
.incbin "arch/x86/vdso/vdso32-syscall.so"
|
|
|
|
#endif
|
2008-07-12 09:22:00 +00:00
|
|
|
vdso32_syscall_end:
|
2005-04-16 22:20:36 +00:00
|
|
|
|
2008-01-30 12:30:43 +00:00
|
|
|
.globl vdso32_sysenter_start, vdso32_sysenter_end
|
|
|
|
vdso32_sysenter_start:
|
2008-01-30 12:30:42 +00:00
|
|
|
.incbin "arch/x86/vdso/vdso32-sysenter.so"
|
2008-01-30 12:30:43 +00:00
|
|
|
vdso32_sysenter_end:
|
2005-04-16 22:20:36 +00:00
|
|
|
|
|
|
|
__FINIT
|