is_vsyscall_vaddr 1237 arch/x86/mm/fault.c 	if (IS_ENABLED(CONFIG_X86_64) && is_vsyscall_vaddr(address))
is_vsyscall_vaddr 1386 arch/x86/mm/fault.c 	if (is_vsyscall_vaddr(address)) {