Lines Matching refs:t2
53 u64 tsc_freq, r1, r2, t1, t2; in check_tsc_msr_rdtsc() local
65 t2 = rdmsr(HV_X64_MSR_TIME_REF_COUNT); 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()
76 GUEST_ASSERT(delta_ns * 100 < (t2 - t1) * 100); in check_tsc_msr_rdtsc()
86 u64 r1, r2, t1, t2; in check_tsc_msr_tsc_page() local
96 t2 = get_tscpage_ts(tsc_page); 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
190 t2 = vcpu_get_msr(vcpu, HV_X64_MSR_TIME_REF_COUNT); in host_check_tsc_msr_rdtsc()
193 TEST_ASSERT(t2 > t1, "Time reference MSR is not monotonic (%ld <= %ld)", t1, t2); in host_check_tsc_msr_rdtsc()
196 delta_ns = ((t2 - t1) * 100) - ((r2 - r1) * 1000000000 / tsc_freq); in host_check_tsc_msr_rdtsc()
201 TEST_ASSERT(delta_ns * 100 < (t2 - t1) * 100, in host_check_tsc_msr_rdtsc()
203 (t2 - t1) * 100, (r2 - r1) * 1000000000 / tsc_freq); in host_check_tsc_msr_rdtsc()