static long __vsyscall(2) venosys_0(void) 
long __vsyscall(2) venosys_0(void) 
static long __vsyscall(2) venosys_0(void){	return -ENOSYS;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2e8ad43ec07545780ce7992cb18e2d82c7abd24c/vsyscall.c/clean/arch/x86_64/kernel/vsyscall.c