2005-04-16 22:20:36 +00:00
|
|
|
#include <linux/init.h>
|
|
|
|
|
|
|
|
__INITDATA
|
|
|
|
|
|
|
|
.globl vsyscall_int80_start, vsyscall_int80_end
|
|
|
|
vsyscall_int80_start:
|
2007-10-11 09:17:01 +00:00
|
|
|
.incbin "arch/x86/kernel/vsyscall-int80_32.so"
|
2005-04-16 22:20:36 +00:00
|
|
|
vsyscall_int80_end:
|
|
|
|
|
|
|
|
.globl vsyscall_sysenter_start, vsyscall_sysenter_end
|
|
|
|
vsyscall_sysenter_start:
|
2007-10-11 09:17:01 +00:00
|
|
|
.incbin "arch/x86/kernel/vsyscall-sysenter_32.so"
|
2005-04-16 22:20:36 +00:00
|
|
|
vsyscall_sysenter_end:
|
|
|
|
|
|
|
|
__FINIT
|