__x64_sys_gettimeofday  246 arch/x86/entry/vsyscall/vsyscall_64.c 		ret = __x64_sys_gettimeofday(regs);
__x64_sys_gettimeofday  246 arch/x86/include/asm/syscall_wrapper.h asmlinkage long __x64_sys_gettimeofday(const struct pt_regs *regs);