is_vsyscall_vaddr
if (IS_ENABLED(CONFIG_X86_64) && is_vsyscall_vaddr(address))
if (is_vsyscall_vaddr(address)) {
if (is_vsyscall_vaddr(vaddr))