|
@@ -930,14 +930,14 @@ static void kvm_get_time_scale(uint32_t scaled_khz, uint32_t base_khz,
|
|
|
|
|
|
tps64 = base_khz * 1000LL;
|
|
|
scaled64 = scaled_khz * 1000LL;
|
|
|
- while (tps64 > scaled64*2 || tps64 & 0xffffffff00000000UL) {
|
|
|
+ while (tps64 > scaled64*2 || tps64 & 0xffffffff00000000ULL) {
|
|
|
tps64 >>= 1;
|
|
|
shift--;
|
|
|
}
|
|
|
|
|
|
tps32 = (uint32_t)tps64;
|
|
|
- while (tps32 <= scaled64 || scaled64 & 0xffffffff00000000UL) {
|
|
|
- if (scaled64 & 0xffffffff00000000UL || tps32 & 0x80000000)
|
|
|
+ while (tps32 <= scaled64 || scaled64 & 0xffffffff00000000ULL) {
|
|
|
+ if (scaled64 & 0xffffffff00000000ULL || tps32 & 0x80000000)
|
|
|
scaled64 >>= 1;
|
|
|
else
|
|
|
tps32 <<= 1;
|