__vsyscall_page   378 arch/x86/entry/vsyscall/vsyscall_64.c 	extern char __vsyscall_page;
__vsyscall_page   379 arch/x86/entry/vsyscall/vsyscall_64.c 	unsigned long physaddr_vsyscall = __pa_symbol(&__vsyscall_page);