scaled_hz        1718 arch/x86/kvm/x86.c static void kvm_get_time_scale(uint64_t scaled_hz, uint64_t base_hz,
scaled_hz        1727 arch/x86/kvm/x86.c 	scaled64 = scaled_hz;