Searched refs:tsc_sequence (Results 1 – 3 of 3) sorted by relevance
142 if (tsc_pg->tsc_sequence != -1) { in read_hv_clock_tsc()149 u32 sequence = tsc_pg->tsc_sequence; in read_hv_clock_tsc()161 if (tsc_pg->tsc_sequence == sequence) in read_hv_clock_tsc()164 if (tsc_pg->tsc_sequence != -1) in read_hv_clock_tsc()
560 volatile u32 tsc_sequence; member
254 __u32 tsc_sequence; member