sysctl_vsyscall = 1; 
static int __init vsyscall_init(void){	BUG_ON(((unsigned long) &vgettimeofday !=			VSYSCALL_ADDR(__NR_vgettimeofday)));	BUG_ON((unsigned long) &vtime != VSYSCALL_ADDR(__NR_vtime));	BUG_ON((VSYSCALL_ADDR(0) != __fix_to_virt(VSYSCALL_FIRST_PAGE)));	map_vsyscall();	sysctl_vsyscall = 1;	register_sysctl_table(kernel_root_table2, 0);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/312df5f1a1da780e084b328bcabb02a6dcd044c3/vsyscall.c/clean/arch/x86_64/kernel/vsyscall.c