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,