Searched refs:HV_X64_MSR_TIME_REF_COUNT (Results 1 – 5 of 5) sorted by relevance
61 t1 = rdmsr(HV_X64_MSR_TIME_REF_COUNT); in check_tsc_msr_rdtsc()65 t2 = rdmsr(HV_X64_MSR_TIME_REF_COUNT); in check_tsc_msr_rdtsc()90 r1 = rdmsr(HV_X64_MSR_TIME_REF_COUNT); in check_tsc_msr_tsc_page()97 r2 = rdmsr(HV_X64_MSR_TIME_REF_COUNT); in check_tsc_msr_tsc_page()186 t1 = vcpu_get_msr(vcpu, HV_X64_MSR_TIME_REF_COUNT); in host_check_tsc_msr_rdtsc()190 t2 = vcpu_get_msr(vcpu, HV_X64_MSR_TIME_REF_COUNT); in host_check_tsc_msr_rdtsc()
219 msr->idx = HV_X64_MSR_TIME_REF_COUNT; in guest_test_msrs_access()225 msr->idx = HV_X64_MSR_TIME_REF_COUNT; in guest_test_msrs_access()231 msr->idx = HV_X64_MSR_TIME_REF_COUNT; in guest_test_msrs_access()
28 #define HV_X64_MSR_TIME_REF_COUNT 0x40000020 macro
71 #define HV_X64_MSR_TIME_REF_COUNT 0x40000020 macro1147 #define HV_MSR_TIME_REF_COUNT (HV_X64_MSR_TIME_REF_COUNT)
403 HV_X64_MSR_TIME_REF_COUNT, HV_X64_MSR_REFERENCE_TSC,