VSYSCALL_ADDR     298 arch/x86/kernel/vsyscall_64.c 			VSYSCALL_ADDR(__NR_vgettimeofday)));
VSYSCALL_ADDR     299 arch/x86/kernel/vsyscall_64.c 	BUG_ON((unsigned long) &vtime != VSYSCALL_ADDR(__NR_vtime));
VSYSCALL_ADDR     300 arch/x86/kernel/vsyscall_64.c 	BUG_ON((VSYSCALL_ADDR(0) != __fix_to_virt(VSYSCALL_FIRST_PAGE)));
VSYSCALL_ADDR     301 arch/x86/kernel/vsyscall_64.c 	BUG_ON((unsigned long) &vgetcpu != VSYSCALL_ADDR(__NR_vgetcpu));