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