Searched refs:tsc_shift (Results 1 – 15 of 15) sorted by relevance
61 int8_t tsc_shift; member90 if (time.tsc_shift < 0) { in kvmclock_current_nsec()91 delta >>= -time.tsc_shift; in kvmclock_current_nsec()93 delta <<= time.tsc_shift; in kvmclock_current_nsec()
32 if (src->tsc_shift < 0) in pvclock_tsc_khz()33 pv_tsc_khz <<= -src->tsc_shift; in pvclock_tsc_khz()35 pv_tsc_khz >>= src->tsc_shift; in pvclock_tsc_khz()
32 s8 tsc_shift; member
87 src->tsc_shift); in __pvclock_read_cycles()
83 src->tsc_shift); in __pvclock_read_cycles()
72 s8 tsc_shift; member
73 s8 tsc_shift;106 tsc_shift:118 if (tsc_shift >= 0)119 time <<= tsc_shift;121 time >>= -tsc_shift;
501 int8_t tsc_shift; member
106 s8 tsc_shift; member990 ti->tsc_shift, ti->flags); in main()993 ti2->tsc_shift, ti2->flags); in main()
665 int8_t tsc_shift; member
1005 __field( __s8, tsc_shift )1015 __entry->tsc_shift = pvclock->tsc_shift;1027 __entry->tsc_shift,
1123 max_mul = 100ull << (32 - hv_clock->tsc_shift); in compute_tsc_page_parameters()1132 mul_u64_u32_div(1ULL << (32 + hv_clock->tsc_shift), in compute_tsc_page_parameters()
2098 entry->edx = vcpu->arch.hv_clock.tsc_shift; in kvm_xen_update_tsc_info()
3071 &hv_clock.tsc_shift, in __get_kvmclock()3219 &vcpu->hv_clock.tsc_shift, in kvm_guest_time_update()