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;