Searched refs:initial_xcr0 (Results 1 – 1 of 1) sorted by relevance
51 uint64_t initial_xcr0; in guest_code() local57 initial_xcr0 = xgetbv(0); in guest_code()60 GUEST_ASSERT(initial_xcr0 == supported_xcr0); in guest_code()