Searched refs:HV_X64_MSR_TIME_REF_COUNT (Results 1 – 4 of 4) 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() 70 /* HV_X64_MSR_TIME_REF_COUNT is in 100ns */ in check_tsc_msr_rdtsc() 88 /* Compare TSC page clocksource with HV_X64_MSR_TIME_REF_COUNT */ in check_tsc_msr_tsc_page() 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() 195 /* HV_X64_MSR_TIME_REF_COUNT is in 100ns */ in host_check_tsc_msr_rdtsc()
220 msr->idx = HV_X64_MSR_TIME_REF_COUNT; in guest_test_msrs_access() 226 msr->idx = HV_X64_MSR_TIME_REF_COUNT; in guest_test_msrs_access() 232 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)