Searched refs:tsc_sequence (Results 1 – 1 of 1) sorted by relevance
13 volatile u32 tsc_sequence; member116 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()