xen_tsc_khz      1197 arch/x86/xen/enlighten.c 	.get_tsc_khz = xen_tsc_khz,
xen_tsc_khz        40 arch/x86/xen/xen-ops.h unsigned long xen_tsc_khz(void);