Searched refs:tsc_to_system_mul (Results 1 – 12 of 12) sorted by relevance
31 u32 tsc_to_system_mul; member
85 u64 offset = pvclock_scale_delta(delta, src->tsc_to_system_mul, in __pvclock_read_cycles()
82 u64 offset = pvclock_scale_delta(delta, src->tsc_to_system_mul, in __pvclock_read_cycles()
71 u32 tsc_to_system_mul; member
31 do_div(pv_tsc_khz, src->tsc_to_system_mul); in pvclock_tsc_khz()
72 u32 tsc_to_system_mul;102 tsc_to_system_mul:109 multiplication with tsc_to_system_mul does not overflow.122 time = (time * tsc_to_system_mul) >> 32
500 uint32_t tsc_to_system_mul; member
969 __field( __u32, tsc_to_system_mul )979 __entry->tsc_to_system_mul = pvclock->tsc_to_system_mul;991 __entry->tsc_to_system_mul,
1081 if (hv_clock->tsc_to_system_mul >= max_mul) in compute_tsc_page_parameters()1090 hv_clock->tsc_to_system_mul, in compute_tsc_page_parameters()
2866 &hv_clock.tsc_to_system_mul); in __get_kvmclock()3024 &vcpu->hv_clock.tsc_to_system_mul); in kvm_guest_time_update()
45 u32 tsc_to_system_mul; member
Completed in 37 milliseconds