Lines Matching full:tsc
86 /* Compare TSC page clocksource with HV_X64_MSR_TIME_REF_COUNT */ in check_tsc_msr_tsc_page()
112 /* Set up TSC page is disabled state, check that it's clean */ in guest_main()
120 /* Set up TSC page is enabled state */ in guest_main()
131 /* Call KVM_SET_CLOCK from userspace, check that TSC page was updated */ in guest_main()
134 /* Sanity check TSC page timestamp, it should be close to 0 */ in guest_main()
142 * Enable Re-enlightenment and check that TSC page stays constant across in guest_main()
158 * Disable re-enlightenment and TSC page, check that KVM doesn't update in guest_main()
182 TEST_ASSERT(tsc_freq > 0, "TSC frequency must be nonzero"); in host_check_tsc_msr_rdtsc()
200 "Elapsed time does not match (MSR=%ld, TSC=%ld)", in host_check_tsc_msr_rdtsc()
220 "TSC page has to be page aligned\n"); in main()
253 /* Reset kvmclock triggering TSC page update */ in main()