Lines Matching refs:r2
53 u64 tsc_freq, r1, r2, t1, t2; in check_tsc_msr_rdtsc() local
64 r2 = rdtsc(); in check_tsc_msr_rdtsc()
66 r2 = (r2 + rdtsc()) / 2; in check_tsc_msr_rdtsc()
68 GUEST_ASSERT(r2 > r1 && t2 > t1); in check_tsc_msr_rdtsc()
71 delta_ns = ((t2 - t1) * 100) - ((r2 - r1) * 1000000000 / tsc_freq); in check_tsc_msr_rdtsc()
86 u64 r1, r2, t1, t2; in check_tsc_msr_tsc_page() local
97 r2 = rdmsr(HV_X64_MSR_TIME_REF_COUNT); in check_tsc_msr_tsc_page()
98 GUEST_ASSERT(r2 >= t1 && r2 - t2 < 100000); in check_tsc_msr_tsc_page()
178 u64 tsc_freq, r1, r2, t1, t2; in host_check_tsc_msr_rdtsc() local
189 r2 = rdtsc(); in host_check_tsc_msr_rdtsc()
191 r2 = (r2 + rdtsc()) / 2; in host_check_tsc_msr_rdtsc()
196 delta_ns = ((t2 - t1) * 100) - ((r2 - r1) * 1000000000 / tsc_freq); in host_check_tsc_msr_rdtsc()
203 (t2 - t1) * 100, (r2 - r1) * 1000000000 / tsc_freq); in host_check_tsc_msr_rdtsc()