Searched refs:tps32 (Results 1 – 1 of 1) sorted by relevance
1287 uint32_t tps32; in kvm_get_time_scale() local1296 tps32 = (uint32_t)tps64; in kvm_get_time_scale()1297 while (tps32 <= scaled64 || scaled64 & 0xffffffff00000000ULL) { in kvm_get_time_scale()1298 if (scaled64 & 0xffffffff00000000ULL || tps32 & 0x80000000) in kvm_get_time_scale()1301 tps32 <<= 1; in kvm_get_time_scale()1306 *pmultiplier = div_frac(scaled64, tps32); in kvm_get_time_scale()