Searched refs:HV_X64_MSR_TSC_FREQUENCY (Results 1 – 7 of 7) sorted by relevance
56 tsc_freq = rdmsr(HV_X64_MSR_TSC_FREQUENCY); in check_tsc_msr_rdtsc()181 tsc_freq = vcpu_get_msr(vcpu, HV_X64_MSR_TSC_FREQUENCY); in host_check_tsc_msr_rdtsc()
371 msr->idx = HV_X64_MSR_TSC_FREQUENCY; in guest_test_msrs_access()377 msr->idx = HV_X64_MSR_TSC_FREQUENCY; in guest_test_msrs_access()383 msr->idx = HV_X64_MSR_TSC_FREQUENCY; in guest_test_msrs_access()
30 #define HV_X64_MSR_TSC_FREQUENCY 0x40000022 macro
203 rdmsrq(HV_X64_MSR_TSC_FREQUENCY, freq); in hyperv_stop_tsc_emulation()
401 rdmsrq(HV_X64_MSR_TSC_FREQUENCY, freq); in hv_get_tsc_khz()
73 #define HV_X64_MSR_TSC_FREQUENCY 0x40000022 macro
404 HV_X64_MSR_TSC_FREQUENCY, HV_X64_MSR_APIC_FREQUENCY,