Searched refs:tsc_sequence (Results 1 – 2 of 2) sorted by relevance
13 volatile u32 tsc_sequence; member 116 GUEST_ASSERT(tsc_page->tsc_sequence == 0); in guest_main() 124 GUEST_ASSERT(tsc_page->tsc_sequence != 0); in guest_main() 169 GUEST_ASSERT(tsc_page->tsc_sequence == 0); in guest_main()
593 volatile u32 tsc_sequence; member