static int __vsyscall(0) vgettimeofday(struct timeval * tv, struct timezone * tz) 
int __vsyscall(0) vgettimeofday(struct timeval * tv, struct timezone * tz) 
static int __vsyscall(0) vgettimeofday(struct timeval * tv, struct timezone * tz){	if (unlikely(!__sysctl_vsyscall))		return gettimeofday(tv,tz);	if (tv)		do_vgettimeofday(tv);	if (tz)		do_get_tz(tz);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2e8ad43ec07545780ce7992cb18e2d82c7abd24c/vsyscall.c/clean/arch/x86_64/kernel/vsyscall.c