Searched refs:tps32 (Results 1 – 1 of 1) sorted by relevance
567 uint32_t tps32; in kvm_set_time_scale() local575 tps32 = (uint32_t)tps64; in kvm_set_time_scale()576 while (tps32 <= (uint32_t)nsecs) { in kvm_set_time_scale()577 tps32 <<= 1; in kvm_set_time_scale()582 hv_clock->tsc_to_system_mul = div_frac(nsecs, tps32); in kvm_set_time_scale()