- .align 4096
-
- // The vsyscall table must be the first thing in roshared
- // (at vaddr 0x7fff0000).
-
- .global x86_syscall_ptr
-x86_syscall_ptr:
- .long ROSHARED_PTR(x86_shared_int98)
-
- .global x86_sysret_ptr
-x86_sysret_ptr:
- .long ROSHARED_PTR(x86_shared_int99)
-