Searched refs:tsc_page (Results 1 – 1 of 1) sorted by relevance
81 return mul_u64_u64_shr64(rdtsc(), tsc_page->tsc_scale) + tsc_page->tsc_offset; in get_tscpage_ts()89 t1 = get_tscpage_ts(tsc_page); in check_tsc_msr_tsc_page()96 t2 = get_tscpage_ts(tsc_page); in check_tsc_msr_tsc_page()117 GUEST_ASSERT(tsc_page->tsc_scale == 0); in guest_main()128 check_tsc_msr_tsc_page(tsc_page); in guest_main()132 tsc_offset = tsc_page->tsc_offset; in guest_main()149 tsc_offset = tsc_page->tsc_offset; in guest_main()150 tsc_scale = tsc_page->tsc_scale; in guest_main()157 check_tsc_msr_tsc_page(tsc_page); in guest_main()166 memset(tsc_page, 0, sizeof(*tsc_page)); in guest_main()[all …]
Completed in 3 milliseconds