Searched refs:tsc_sequence (Results 1 – 2 of 2) sorted by relevance
44 seq = page->tsc_sequence; in hvclock_get_time_values()48 } while (shadow->tsc_sequence != seq); in hvclock_get_time_values()189 if (shadow.tsc_sequence == 0 || shadow.tsc_sequence == 0xFFFFFFFF) in main()193 shadow.tsc_sequence, shadow.tsc_scale, shadow.tsc_offset); in main()
229 uint32_t tsc_sequence; member