xen_clock         379 arch/x86/xen/time.c static struct pvclock_vsyscall_time_info *xen_clock __read_mostly;
xen_clock         389 arch/x86/xen/time.c 	if (!xen_clock)
xen_clock         399 arch/x86/xen/time.c 		clear_page(xen_clock);
xen_clock         407 arch/x86/xen/time.c 	if (!xen_clock)
xen_clock         410 arch/x86/xen/time.c 	t.addr.v = &xen_clock->pvti;
xen_clock         467 arch/x86/xen/time.c 	xen_clock = ti;
xen_clock         468 arch/x86/xen/time.c 	pvclock_set_pvti_cpu0_va(xen_clock);