Searched refs:tps32 (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/arch/x86/kvm/
H A Dx86.c1211 uint32_t tps32; kvm_get_time_scale() local
1220 tps32 = (uint32_t)tps64; kvm_get_time_scale()
1221 while (tps32 <= scaled64 || scaled64 & 0xffffffff00000000ULL) { kvm_get_time_scale()
1222 if (scaled64 & 0xffffffff00000000ULL || tps32 & 0x80000000) kvm_get_time_scale()
1225 tps32 <<= 1; kvm_get_time_scale()
1230 *pmultiplier = div_frac(scaled64, tps32); kvm_get_time_scale()

Completed in 109 milliseconds