2005-04-17 00:20:36 +02:00
|
|
|
#include <linux/init.h>
|
|
|
|
|
|
|
|
__INITDATA
|
|
|
|
|
2008-01-30 13:30:43 +01:00
|
|
|
.globl vdso32_default_start, vdso32_default_end
|
|
|
|
vdso32_default_start:
|
|
|
|
#ifdef CONFIG_X86_32
|
2008-01-30 13:30:42 +01:00
|
|
|
.incbin "arch/x86/vdso/vdso32-int80.so"
|
2008-01-30 13:30:43 +01:00
|
|
|
#else
|
|
|
|
.incbin "arch/x86/vdso/vdso32-syscall.so"
|
|
|
|
#endif
|
|
|
|
vdso32_default_end:
|
2005-04-17 00:20:36 +02:00
|
|
|
|
2008-01-30 13:30:43 +01:00
|
|
|
.globl vdso32_sysenter_start, vdso32_sysenter_end
|
|
|
|
vdso32_sysenter_start:
|
2008-01-30 13:30:42 +01:00
|
|
|
.incbin "arch/x86/vdso/vdso32-sysenter.so"
|
2008-01-30 13:30:43 +01:00
|
|
|
vdso32_sysenter_end:
|
2005-04-17 00:20:36 +02:00
|
|
|
|
|
|
|
__FINIT
|