Searched refs:tsc_to_system_mul (Results 1 – 15 of 15) sorted by relevance
/openbmc/linux/arch/x86/include/asm/ |
H A D | pvclock-abi.h | 31 u32 tsc_to_system_mul; member
|
H A D | pvclock.h | 86 u64 offset = pvclock_scale_delta(delta, src->tsc_to_system_mul, in __pvclock_read_cycles()
|
/openbmc/linux/tools/arch/x86/include/asm/ |
H A D | pvclock-abi.h | 31 u32 tsc_to_system_mul; member
|
H A D | pvclock.h | 82 u64 offset = pvclock_scale_delta(delta, src->tsc_to_system_mul, in __pvclock_read_cycles()
|
/openbmc/qemu/hw/i386/kvm/ |
H A D | clock.c | 60 uint32_t tsc_to_system_mul; member 96 mulu64(&nsec_lo, &nsec_hi, delta, time.tsc_to_system_mul); in kvmclock_current_nsec()
|
/openbmc/linux/include/xen/arm/ |
H A D | interface.h | 71 u32 tsc_to_system_mul; member
|
/openbmc/linux/arch/x86/kernel/ |
H A D | pvclock.c | 31 do_div(pv_tsc_khz, src->tsc_to_system_mul); in pvclock_tsc_khz()
|
/openbmc/linux/Documentation/virt/kvm/x86/ |
H A D | msr.rst | 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
|
/openbmc/linux/include/xen/interface/ |
H A D | xen.h | 500 uint32_t tsc_to_system_mul; member
|
/openbmc/linux/tools/testing/selftests/kvm/x86_64/ |
H A D | xen_shinfo_test.c | 105 u32 tsc_to_system_mul; member 989 ti->version, ti->tsc_timestamp, ti->system_time, ti->tsc_to_system_mul, in main() 992 ti2->version, ti2->tsc_timestamp, ti2->system_time, ti2->tsc_to_system_mul, in main()
|
/openbmc/qemu/include/hw/xen/interface/ |
H A D | xen.h | 664 uint32_t tsc_to_system_mul; member
|
/openbmc/linux/arch/x86/kvm/ |
H A D | trace.h | 1004 __field( __u32, tsc_to_system_mul ) 1014 __entry->tsc_to_system_mul = pvclock->tsc_to_system_mul; 1026 __entry->tsc_to_system_mul,
|
H A D | hyperv.c | 1124 if (hv_clock->tsc_to_system_mul >= max_mul) in compute_tsc_page_parameters() 1133 hv_clock->tsc_to_system_mul, in compute_tsc_page_parameters()
|
H A D | xen.c | 2097 entry->ecx = vcpu->arch.hv_clock.tsc_to_system_mul; in kvm_xen_update_tsc_info()
|
H A D | x86.c | 3072 &hv_clock.tsc_to_system_mul); in __get_kvmclock() 3220 &vcpu->hv_clock.tsc_to_system_mul); in kvm_guest_time_update()
|