Searched refs:scaled64 (Results 1 – 1 of 1) sorted by relevance
2184 uint64_t scaled64; in kvm_get_time_scale() local2190 scaled64 = scaled_hz; in kvm_get_time_scale()2191 while (tps64 > scaled64*2 || tps64 & 0xffffffff00000000ULL) { in kvm_get_time_scale()2197 while (tps32 <= scaled64 || scaled64 & 0xffffffff00000000ULL) { in kvm_get_time_scale()2198 if (scaled64 & 0xffffffff00000000ULL || tps32 & 0x80000000) in kvm_get_time_scale()2199 scaled64 >>= 1; in kvm_get_time_scale()2206 *pmultiplier = div_frac(scaled64, tps32); in kvm_get_time_scale()
