scaled64         1721 arch/x86/kvm/x86.c 	uint64_t scaled64;
scaled64         1727 arch/x86/kvm/x86.c 	scaled64 = scaled_hz;
scaled64         1728 arch/x86/kvm/x86.c 	while (tps64 > scaled64*2 || tps64 & 0xffffffff00000000ULL) {
scaled64         1734 arch/x86/kvm/x86.c 	while (tps32 <= scaled64 || scaled64 & 0xffffffff00000000ULL) {
scaled64         1735 arch/x86/kvm/x86.c 		if (scaled64 & 0xffffffff00000000ULL || tps32 & 0x80000000)
scaled64         1736 arch/x86/kvm/x86.c 			scaled64 >>= 1;
scaled64         1743 arch/x86/kvm/x86.c 	*pmultiplier = div_frac(scaled64, tps32);