pvclock_page       50 arch/x86/include/asm/vdso/gettimeofday.h extern struct pvclock_vsyscall_time_info pvclock_page
pvclock_page      192 arch/x86/include/asm/vdso/gettimeofday.h 	const struct pvclock_vcpu_time_info *pvti = &pvclock_page.pvti;