warn_bad_vsyscall 142 arch/x86/entry/vsyscall/vsyscall_64.c warn_bad_vsyscall(KERN_INFO, regs, "vsyscall read attempt denied -- look up the vsyscall kernel parameter if you need a workaround"); warn_bad_vsyscall 154 arch/x86/entry/vsyscall/vsyscall_64.c warn_bad_vsyscall(KERN_INFO, regs, warn_bad_vsyscall 164 arch/x86/entry/vsyscall/vsyscall_64.c warn_bad_vsyscall(KERN_WARNING, regs, warn_bad_vsyscall 170 arch/x86/entry/vsyscall/vsyscall_64.c warn_bad_vsyscall(KERN_WARNING, regs, warn_bad_vsyscall 227 arch/x86/entry/vsyscall/vsyscall_64.c warn_bad_vsyscall(KERN_DEBUG, regs, warn_bad_vsyscall 269 arch/x86/entry/vsyscall/vsyscall_64.c warn_bad_vsyscall(KERN_INFO, regs,