Searched refs:tsc_to_system_mul (Results 1 – 8 of 8) sorted by relevance
30 u32 tsc_to_system_mul; member
66 return pvclock_scale_delta(delta, src->tsc_to_system_mul, in pvclock_get_nsec_offset()
68 u32 tsc_to_system_mul; member
38 do_div(pv_tsc_khz, src->tsc_to_system_mul); in pvclock_tsc_khz()
61 u32 tsc_to_system_mul;88 tsc_to_system_mul: multiplier to be used when converting93 multiplication with tsc_to_system_mul does not overflow.106 time = (time * tsc_to_system_mul) >> 32
926 __field( __u32, tsc_to_system_mul )936 __entry->tsc_to_system_mul = pvclock->tsc_to_system_mul;948 __entry->tsc_to_system_mul,
1777 &vcpu->hv_clock.tsc_to_system_mul); in kvm_guest_time_update()
500 uint32_t tsc_to_system_mul; member