Searched refs:tps64 (Results 1 - 1 of 1) sorted by relevance
| /linux-master/arch/x86/kvm/ | ||
| H A D | x86.c | 2390 uint64_t tps64; local 2393 tps64 = base_hz; 2395 while (tps64 > scaled64*2 || tps64 & 0xffffffff00000000ULL) { 2396 tps64 >>= 1; 2400 tps32 = (uint32_t)tps64; |
Completed in 136 milliseconds