Searched refs:tsc_scale (Results 1 – 4 of 4) sorted by relevance
15 volatile u64 tsc_scale; member81 return mul_u64_u64_shr64(rdtsc(), tsc_page->tsc_scale) + tsc_page->tsc_offset; in get_tscpage_ts()103 u64 tsc_scale, tsc_offset; in guest_main() local117 GUEST_ASSERT(tsc_page->tsc_scale == 0); in guest_main()150 tsc_scale = tsc_page->tsc_scale; in guest_main()153 GUEST_ASSERT(tsc_page->tsc_scale == tsc_scale); in guest_main()171 GUEST_ASSERT(tsc_page->tsc_scale == 0); in guest_main()
73 scale = READ_ONCE(tsc_pg->tsc_scale); in hv_read_tsc_page_tsc()
101 volatile u64 tsc_scale; member
583 return mul_u64_u64_shr(tsc, hv->tsc_ref.tsc_scale, 64) in get_time_ref_counter()1129 tsc_ref->tsc_scale = in compute_tsc_page_parameters()1137 mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64); in compute_tsc_page_parameters()
Completed in 16 milliseconds