Searched refs:tsc_sequence (Results 1 – 2 of 2) sorted by relevance

/include/clocksource/
A D	hyperv_timer.h	67 sequence = READ_ONCE(tsc_pg->tsc_sequence); in hv_read_tsc_page_tsc() 86 } while (READ_ONCE(tsc_pg->tsc_sequence) != sequence); in hv_read_tsc_page_tsc()
/include/hyperv/
A D	hvgdk_mini.h	579 volatile u32 tsc_sequence; member

Completed in 12 milliseconds

Last Index update Fri Aug 22 10:33:58 CST 2025