xen_tsc_khz       528 arch/x86/xen/time.c 	x86_platform.calibrate_tsc = xen_tsc_khz;
xen_tsc_khz       568 arch/x86/xen/time.c 	x86_platform.calibrate_tsc = xen_tsc_khz;