1 /* 32bit VDSOs mapped into user space. */
3 .section ".init.data","aw"
8 .globl syscall32_int80_end
11 .incbin "arch/x86_64/ia32/vsyscall-int80.so"
16 .globl syscall32_syscall
17 .globl syscall32_syscall_end
20 .incbin "arch/x86_64/ia32/vsyscall-syscall.so"
21 syscall32_syscall_end:
23 .globl syscall32_sysenter
24 .globl syscall32_sysenter_end
27 .incbin "arch/x86_64/ia32/vsyscall-sysenter.so"
28 syscall32_sysenter_end: