Lines Matching refs:tsc_offset
16 volatile s64 tsc_offset;
81 return mul_u64_u64_shr64(rdtsc(), tsc_page->tsc_scale) + tsc_page->tsc_offset;
103 u64 tsc_scale, tsc_offset;
118 GUEST_ASSERT(tsc_page->tsc_offset == 0);
132 tsc_offset = tsc_page->tsc_offset;
139 GUEST_ASSERT(tsc_page->tsc_offset != tsc_offset);
149 tsc_offset = tsc_page->tsc_offset;
152 GUEST_ASSERT(tsc_page->tsc_offset == tsc_offset);
170 GUEST_ASSERT(tsc_page->tsc_offset == 0);