xen_steal_clock   376 arch/x86/xen/time.c 	.steal_clock = xen_steal_clock,
xen_steal_clock   178 drivers/xen/time.c 	pv_ops.time.steal_clock = xen_steal_clock;
xen_steal_clock    39 include/xen/xen-ops.h u64 xen_steal_clock(int cpu);