Lines Matching refs:t2
53 u64 tsc_freq, r1, r2, t1, t2; in check_tsc_msr_rdtsc() local
64 t2 = rdmsr(HV_X64_MSR_TIME_REF_COUNT); in check_tsc_msr_rdtsc()
66 GUEST_ASSERT(r2 > r1 && t2 > t1); in check_tsc_msr_rdtsc()
69 delta_ns = ((t2 - t1) * 100) - ((r2 - r1) * 1000000000 / tsc_freq); in check_tsc_msr_rdtsc()
74 GUEST_ASSERT(delta_ns * 100 < (t2 - t1) * 100); in check_tsc_msr_rdtsc()
84 u64 r1, r2, t1, t2; in check_tsc_msr_tsc_page() local
94 t2 = get_tscpage_ts(tsc_page); in check_tsc_msr_tsc_page()
96 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 t2 = vcpu_get_msr(vm, VCPU_ID, HV_X64_MSR_TIME_REF_COUNT); in host_check_tsc_msr_rdtsc()
191 TEST_ASSERT(t2 > t1, "Time reference MSR is not monotonic (%ld <= %ld)", t1, t2); in host_check_tsc_msr_rdtsc()
194 delta_ns = ((t2 - t1) * 100) - ((r2 - r1) * 1000000000 / tsc_freq); in host_check_tsc_msr_rdtsc()
199 TEST_ASSERT(delta_ns * 100 < (t2 - t1) * 100, in host_check_tsc_msr_rdtsc()
201 (t2 - t1) * 100, (r2 - r1) * 1000000000 / tsc_freq); in host_check_tsc_msr_rdtsc()