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)) {