Searched refs:seq (Results 1 – 1 of 1) sorted by relevance
42 int seq; in hvclock_get_time_values() local44 seq = page->tsc_sequence; in hvclock_get_time_values()48 } while (shadow->tsc_sequence != seq); in hvclock_get_time_values()