tps32            1724 arch/x86/kvm/x86.c 	uint32_t tps32;
tps32            1733 arch/x86/kvm/x86.c 	tps32 = (uint32_t)tps64;
tps32            1734 arch/x86/kvm/x86.c 	while (tps32 <= scaled64 || scaled64 & 0xffffffff00000000ULL) {
tps32            1735 arch/x86/kvm/x86.c 		if (scaled64 & 0xffffffff00000000ULL || tps32 & 0x80000000)
tps32            1738 arch/x86/kvm/x86.c 			tps32 <<= 1;
tps32            1743 arch/x86/kvm/x86.c 	*pmultiplier = div_frac(scaled64, tps32);