Searched refs:tsc_scale (Results 1 – 3 of 3) sorted by relevance
15 volatile u64 tsc_scale; member 81 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() local 117 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()
595 volatile u64 tsc_scale; member
860 0x8000000a, 0, edx, 4, tsc_scale , MSR-based TSC rate control