Home
last modified time | relevance | path

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

/Linux-v4.19/arch/x86/kvm/
Dx86.c1382 uint64_t tps64; in kvm_get_time_scale() local
1385 tps64 = base_hz; in kvm_get_time_scale()
1387 while (tps64 > scaled64*2 || tps64 & 0xffffffff00000000ULL) { in kvm_get_time_scale()
1388 tps64 >>= 1; in kvm_get_time_scale()
1392 tps32 = (uint32_t)tps64; in kvm_get_time_scale()