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