static time_t __vsyscall(1) vtime(time_t *t) 
time_t __vsyscall(1) vtime(time_t *t) 
static time_t __vsyscall(1) vtime(time_t *t){	if (unlikely(!__sysctl_vsyscall))		return time_syscall(t);	else if (t)		*t = __xtime.tv_sec;			return __xtime.tv_sec;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2e8ad43ec07545780ce7992cb18e2d82c7abd24c/vsyscall.c/clean/arch/x86_64/kernel/vsyscall.c