xen_sched_clock  1198 arch/x86/xen/enlighten.c 	.sched_clock = xen_sched_clock,
xen_sched_clock    44 arch/x86/xen/xen-ops.h unsigned long long xen_sched_clock(void);