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);