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

/linux-4.4.14/arch/x86/kvm/
H A Dx86.c1210 uint64_t tps64; kvm_get_time_scale() local
1213 tps64 = base_khz * 1000LL; kvm_get_time_scale()
1215 while (tps64 > scaled64*2 || tps64 & 0xffffffff00000000ULL) { kvm_get_time_scale()
1216 tps64 >>= 1; kvm_get_time_scale()
1220 tps32 = (uint32_t)tps64; kvm_get_time_scale()

Completed in 83 milliseconds