tps64            1723 arch/x86/kvm/x86.c 	uint64_t tps64;
tps64            1726 arch/x86/kvm/x86.c 	tps64 = base_hz;
tps64            1728 arch/x86/kvm/x86.c 	while (tps64 > scaled64*2 || tps64 & 0xffffffff00000000ULL) {
tps64            1729 arch/x86/kvm/x86.c 		tps64 >>= 1;
tps64            1733 arch/x86/kvm/x86.c 	tps32 = (uint32_t)tps64;