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;