Lines Matching full:tsc
88 /* Compare TSC page clocksource with HV_X64_MSR_TIME_REF_COUNT */ in check_tsc_msr_tsc_page()
114 /* Set up TSC page is disabled state, check that it's clean */ in guest_main()
122 /* Set up TSC page is enabled state */ in guest_main()
133 /* Call KVM_SET_CLOCK from userspace, check that TSC page was updated */ in guest_main()
136 /* Sanity check TSC page timestamp, it should be close to 0 */ in guest_main()
144 * Enable Re-enlightenment and check that TSC page stays constant across in guest_main()
160 * 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()
202 "Elapsed time does not match (MSR=%ld, TSC=%ld)", in host_check_tsc_msr_rdtsc()
221 "TSC page has to be page aligned\n"); in main()
250 /* Reset kvmclock triggering TSC page update */ in main()