XFEATURE_ENABLED_X87
xstate_bv &= ~(XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE);
xsave_mask = XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE;
xsave_mask_user |= XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE;
*xstate_bv = XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE;
#define PT_XSAVE_MASK (XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE)
if (!(xcrval & XFEATURE_ENABLED_X87)) {
vcpu->guest_xcr0 = XFEATURE_ENABLED_X87;
xsave_mask = XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE;
xsave_mask_user |= XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE;
*xstate_bv = XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE;
(XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE | XFEATURE_ENABLED_AVX)